In the design of a custom optical lens, the focal length FFF is calculated as the arithmetic mean of a rational base length LLL and an irrational correction factor γ\gammaγ.
Given that F=L+γ2F = \frac{L + \gamma}{2}F=2L+γ, prove by contradiction that the focal length FFF must be an irrational number.