Abstract:For a given irrational number, we consider the properties of best rational approximations of given parities. There are three different kinds of rational numbers according to the parity of the numerator and denominator, say odd/odd, even/odd and odd/even rational numbers. We study algorithms to find best approximations by rational numbers of given parities and compare these algorithms with continued fraction expansions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the best approximation problem of rational numbers of specific parity types. Specifically, the authors studied how to use rational numbers with specific parity properties (i.e., the parity of the numerator and denominator) to best approximate a given irrational number, and compared the relationships between these approximation methods and continued fraction expansions.
### Background of the Paper
In Diophantine approximation, a fundamental problem is to find the rational number $\frac{p}{q}$ that minimizes $|qx - p|$, where $x\in\mathbb{R}\setminus\mathbb{Q}$, and there are some constraints on $p$ and $q$. According to the parity of the numerator and denominator, rational numbers can be divided into three categories:
- $Q(0)$: The numerator is even and the denominator is odd.
- $Q(1)$: Both the numerator and the denominator are odd.
- $Q(\infty)$: The numerator is odd and the denominator is even.
### Research Objectives
The authors' goal is to further study the best rational approximation with specific parity and explore the related continued fraction algorithms. They defined the following best approximations:
1. **Best $(\alpha)$ - rational approximation**: For a given $x\in\mathbb{R}\setminus\mathbb{Q}$, if $\frac{p}{q}$ satisfies $|qx - p| < |bx - a|$ for all $\frac{a}{b}\in Q(\alpha)$ and $0 < b\leq q$, then $\frac{p}{q}$ is called the best $(\alpha)$ - rational approximation of $x$.
2. **Best $(\beta,\gamma)$ - rational approximation**: For a given $x\in\mathbb{R}\setminus\mathbb{Q}$, if $\frac{p}{q}$ satisfies $|qx - p| < |bx - a|$ for all $\frac{a}{b}\in Q(\beta,\gamma)$ and $0 < b\leq q$, then $\frac{p}{q}$ is called the best $(\beta,\gamma)$ - rational approximation of $x$.
### Main Results
The main results of the paper include:
- Defining and classifying the sets of rational numbers $Q(\alpha)$ and $Q(\beta,\gamma)$ with specific parity.
- Proposing algorithms for finding the best $(\alpha)$ - rational approximation and the best $(\beta,\gamma)$ - rational approximation.
- Exploring the relationships between these approximation methods and continued fraction expansions, especially the role of intermediate convergents.
Through these studies, the authors hope to gain a deeper understanding of the performance of rational numbers with specific parity in approximating irrational numbers and provide a theoretical basis for further research in related fields.