On the measure of irrationality of the number \(\pi \) (Q650318): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Yaochen Zhu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Yaochen Zhu / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5824734 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4774099 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Legendre type polynomials and irrationality measures. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lower bound for rational approximations to \(\pi\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational approximations to π and some other numbers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the irrationality measure of $ \pi$ / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 17:13, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the measure of irrationality of the number \(\pi \) |
scientific article |
Statements
On the measure of irrationality of the number \(\pi \) (English)
0 references
25 November 2011
0 references
The author proves that for all \( p,q\in\mathbb N\), \(q\geq q_0\), the inequality \(|\pi- p/q|> q^{-\nu}\) (where \(\nu=7.606308\dots\)) holds, and so gives a new estimate of the measure of irrationality of the number \(\pi\). This result improves the previous record \(\nu= 8.016045\dots\) by \textit{M. Hata} [Acta Arith. 63, No. 4, 335--349 (1993; Zbl 0776.11033)]. In order to prove this result, the author considers the integral \[ J= (1/i) \int^{4+2i}_{4-2i} R(x)\,dx, \] where \[ R(x)= \sum^{5n-2}_{i=0} b_i x^i+ \sum^{5n}_{i=0} (a_i x^{-i-1}+ a_i(10- x)^{-i-1}), \] and uses the saddle-point method.
0 references
measure of irrationality
0 references
approximation by rational fractions
0 references
partial-fraction expansion
0 references
Leibniz formula
0 references
linear form
0 references