A point <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>(</mml:mo> <mml:msub> <mml:mi>ξ</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>ξ</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> with coordinates in a subfield of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ℝ</mml:mi> </mml:math> of transcendence degree one over <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ℚ</mml:mi> </mml:math> , with <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>ξ</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>ξ</mml:mi> <mml:mn>2</mml:mn> </mml:msub> </mml:mrow> </mml:math> linearly independent over <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ℚ</mml:mi> </mml:math> , may have a uniform exponent of approximation by elements of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mrow> <mml:mi>ℚ</mml:mi> </mml:mrow> <mml:mn>2</mml:mn> </mml:msup> </mml:math> that is strictly larger than the lower bound <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> given by Dirichlet’s box principle. This appeared as a surprise, in connection to work of Davenport and Schmidt, for points of the parabola <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mo>{</mml:mo> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>ξ</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>ξ</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> <mml:mspace width="0.166667em"/> <mml:mo>;</mml:mo> <mml:mspace width="0.166667em"/> <mml:mi>ξ</mml:mi> <mml:mo>∈</mml:mo> <mml:mi>ℝ</mml:mi> <mml:mo>}</mml:mo> </mml:mrow> </mml:math> . The goal of this paper is to show that this phenomenon extends to all real conics defined over <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ℚ</mml:mi> </mml:math> , and that the largest exponent of approximation achieved by points of these curves satisfying the above condition of linear independence is always the same, independently of the curve, namely <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>/</mml:mo> <mml:mi>γ</mml:mi> <mml:mo>≅</mml:mo> <mml:mn>0</mml:mn> <mml:mo>.</mml:mo> <mml:mn>618</mml:mn> </mml:mrow> </mml:math> where <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>γ</mml:mi> </mml:math> denotes the golden ratio.
Read more