Can we find an approximation to 5 + 3 \sqrt{5}+\sqrt{3} 5 + 3 ?
Question
If
b a \dfrac{b}{a} a b
is small enough for powers of
b a \dfrac{b}{a} a b
higher than the third to be neglected, show that
( a + b ) 1 2 − ( a − b ) 1 2 = a 1 2 ( b a + b 3 8 a 3 ) . \begin{equation*} (a+b)^\frac{1}{2} - (a-b)^\frac{1}{2} = a^\frac{1}{2} \left( \frac{b}{a} + \frac{b^3}{8a^3} \right). \end{equation*} ( a + b ) 2 1 − ( a − b ) 2 1 = a 2 1 ( a b + 8 a 3 b 3 ) .
Use this result to deduce a rational approximation to 5 − 3 \sqrt 5 - \sqrt 3 5 − 3 .
Deduce, or obtain otherwise, a rational approximation to 5 + 3 \sqrt 5 + \sqrt 3 5 + 3 .
Solution
If a > 0 a > 0 a > 0 , we can write ( a + b ) 1 2 = a ( 1 + b a ) 1 / 2 . (a+b)^\frac{1}{2} = \sqrt{a} \left( 1 + \frac{b}{a} \right)^{1/2}. ( a + b ) 2 1 = a ( 1 + a b ) 1/2 .
The
binomial theorem
says that, if
∣ x ∣ < 1 \big |x \big| < 1 x < 1
,
( 1 + x ) α = 1 + α x + α ( α − 1 ) 2 ! x 2 + α ( α − 1 ) ( α − 2 ) 3 ! x 3 + … b \begin{equation*} (1+x)^\alpha = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!} x^2 + \frac{\alpha(\alpha-1)(\alpha-2)}{3!} x^3 + \dots b \end{equation*} ( 1 + x ) α = 1 + α x + 2 ! α ( α − 1 ) x 2 + 3 ! α ( α − 1 ) ( α − 2 ) x 3 + … b
and so, if
b a \dfrac{b}{a} a b
is small enough,
( a + b ) 1 2 = a ( 1 + b a ) 1 / 2 = a ( 1 + 1 2 b a + 1 2 × ( − 1 2 ) 2 ! ( b a ) 2 + 1 2 × ( − 1 2 ) × ( − 3 2 ) 3 ! ( b a ) 3 + … b ) ≈ a ( 1 + b 2 a − b 2 8 a 2 + b 3 16 a 3 ) . \begin{align*} (a+b)^\frac{1}{2} &= \sqrt{a} \left( 1 + \frac{b}{a} \right)^{1/2} \\ &= \sqrt{a} \left( 1 + \frac{1}{2} \frac{b}{a} + \frac{\frac{1}{2} \times \left(-\frac{1}{2} \right)}{2!} \left( \frac{b}{a} \right)^2 + \frac{\frac{1}{2} \times \left( -\frac{1}{2} \right) \times \left( -\frac{3}{2} \right)}{3!} \left( \frac{b}{a} \right)^3 + \dots b \right) \\ &\approx \sqrt{a} \left( 1 + \frac{b}{2a} - \frac{b^2}{8a^2} + \frac{b^3}{16a^3} \right). \end{align*} ( a + b ) 2 1 = a ( 1 + a b ) 1/2 = a ( 1 + 2 1 a b + 2 ! 2 1 × ( − 2 1 ) ( a b ) 2 + 3 ! 2 1 × ( − 2 1 ) × ( − 2 3 ) ( a b ) 3 + … b ) ≈ a ( 1 + 2 a b − 8 a 2 b 2 + 16 a 3 b 3 ) .
Similarly, assuming that
a > 0 a > 0 a > 0
and
b a \dfrac{b}{a} a b
is small enough we will get the same result as above replacing
b b b
with
− b -b − b
,
( a − b ) 1 2 ≈ a ( 1 + − b 2 a − ( − b ) 2 8 a 2 + ( − b ) 3 16 a 3 ) = a ( 1 − b 2 a − b 2 8 a 2 − b 3 16 a 3 ) . \begin{align*} (a-b)^\frac{1}{2} &\approx \sqrt{a} \left( 1 + \frac{-b}{2a} - \frac{(-b)^2}{8a^2} + \frac{(-b)^3}{16a^3} \right)\\ &= \sqrt{a} \left( 1 - \frac{b}{2a} - \frac{b^2}{8a^2} - \frac{b^3}{16a^3} \right). \end{align*} ( a − b ) 2 1 ≈ a ( 1 + 2 a − b − 8 a 2 ( − b ) 2 + 16 a 3 ( − b ) 3 ) = a ( 1 − 2 a b − 8 a 2 b 2 − 16 a 3 b 3 ) .
As a result,
( a + b ) 1 2 − ( a − b ) 1 2 ≈ a ( ( 1 + b 2 a − b 2 8 a 2 + b 3 16 a 3 ) − ( 1 − b 2 a − b 2 8 a 2 − b 3 16 a 3 ) ) = a ( b a + b 3 8 a 3 ) . \begin{align*} (a+b)^\frac{1}{2} - (a-b)^\frac{1}{2} &\approx \sqrt{a} \left( \left( 1 + \frac{b}{2a} - \frac{b^2}{8a^2} + \frac{b^3}{16a^3} \right) - \left( 1 - \frac{b}{2a} - \frac{b^2}{8a^2} - \frac{b^3}{16a^3} \right) \right) \\ &= \sqrt{a} \left( \frac{b}{a} + \frac{b^3}{8a^3} \right). \end{align*} ( a + b ) 2 1 − ( a − b ) 2 1 ≈ a ( ( 1 + 2 a b − 8 a 2 b 2 + 16 a 3 b 3 ) − ( 1 − 2 a b − 8 a 2 b 2 − 16 a 3 b 3 ) ) = a ( a b + 8 a 3 b 3 ) .
Let’s put a + b = 5 a + b = 5 a + b = 5 and a − b = 3 a - b = 3 a − b = 3 . Now adding gives 2 a = 8 ⟹ a = 4 , b = 1 2a = 8 \implies a = 4, b = 1 2 a = 8 ⟹ a = 4 , b = 1 . Thus a > 0 a > 0 a > 0 and b a \dfrac{b}{a} a b is suitably small.
From our work above,
5 − 3 = ( a + b ) 1 2 − ( a − b ) 1 2 ≈ a ( b a + b 3 8 a 3 ) = 4 ( 1 4 + 1 8 × 64 ) = 1 2 + 1 256 = 129 256 ≈ 0.5039... \begin{align*} \sqrt 5 - \sqrt 3 = (a+b)^\frac{1}{2} - (a-b)^\frac{1}{2} &\approx \sqrt{a} \left( \frac{b}{a} + \frac{b^3}{8a^3} \right) \\ &= \sqrt{4} \left( \frac{1}{4} + \frac{1}{8 \times 64} \right) \\ &= \frac{1}{2} + \frac{1}{256} \\ &= \frac{129}{256}\\ & \approx 0.5039... \end{align*} 5 − 3 = ( a + b ) 2 1 − ( a − b ) 2 1 ≈ a ( a b + 8 a 3 b 3 ) = 4 ( 4 1 + 8 × 64 1 ) = 2 1 + 256 1 = 256 129 ≈ 0.5039...
The approximation is an accurate one: 5 − 3 = 0.5040... \sqrt 5 - \sqrt 3= 0.5040... 5 − 3 = 0.5040...
We have
( 5 + 3 ) ( 5 − 3 ) = 2. (\sqrt 5 + \sqrt 3)(\sqrt 5 - \sqrt 3) = 2. ( 5 + 3 ) ( 5 − 3 ) = 2.
Thus
5 + 3 ≈ 2 × 256 129 = 512 129 = 3.9690... \sqrt 5 + \sqrt 3 \approx 2 \times \dfrac{256}{129} = \dfrac{512}{129} = 3.9690... 5 + 3 ≈ 2 × 129 256 = 129 512 = 3.9690...
Again, the approximation is a good one: 5 + 3 = 3.9681... \sqrt 5 + \sqrt 3 = 3.9681... 5 + 3 = 3.9681...