MathDB
(8r + 21)/(3r + 8) approximation of \sqrt7 that r (Chile NMO 1993 P3)

Source:

November 21, 2021
algebraFraction

Problem Statement

Let r r be a positive rational. Prove that 8r+213r+8\frac{8r + 21}{3r + 8} is a better approximation to 7\sqrt7 that r r.