Maths Olympiad Prep

Track / Stage 5 / 367 of 400 #967 of 1964

Problem 967

AIME late
Number theory Difficulty 5.9 Prove it

1.67 Prove that if nn is a natural number, then
(21)n=mm1 (\sqrt{2}-1)^{n}=\sqrt{m}-\sqrt{m-1} \text {, }

where mm is a natural number.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

[Proof] First, we prove an auxiliary proposition: For any natural number nn, there exist natural numbers a,ba, b, such that
{(12)n=a22b2,a22b2=(1)n. \left\{\begin{array}{l} (1-\sqrt{2})^{n}=\sqrt{a^{2}}-\sqrt{2 b^{2}}, \\ a^{2}-2 b^{2}=(-1)^{n} . \end{array}\right.

When n=1n=1, the conclusion is true. In fact, taking a=b=1a=b=1 suffices. Suppose the conclusion holds for n=kn=k. Then for n=k+1n=k+1,
(12)k+1=(12)k(12)=(a22b2)(12)=(ab2)(12)=a+2b(a+b)2=(a+2b)22(a+b)2=a122b12. \begin{aligned} & (1-\sqrt{2})^{k+1}=(1-\sqrt{2})^{k}(1-\sqrt{2})=\left(\sqrt{a^{2}}-\sqrt{2 b^{2}}\right)(1-\sqrt{2}) \\ = & (a-b \sqrt{2})(1-\sqrt{2})=a+2 b-(a+b) \sqrt{2} \\ = & \sqrt{(a+2 b)^{2}}-\sqrt{2(a+b)^{2}}=\sqrt{a_{1}^{2}}-\sqrt{2 b_{1}^{2}} . \end{aligned}

Here a1,b1a_{1}, b_{1} are natural numbers, and
a122b12=(a+2b)22(a+b)2=a2+2b2=(a22b2)=(1)k(1)=(1)k+1. \begin{aligned} a_{1}^{2}-2 b_{1}^{2} & =(a+2 b)^{2}-2(a+b)^{2} \\ & =-a^{2}+2 b^{2} \\ & =-\left(a^{2}-2 b^{2}\right) \\ & =(-1)^{k}(-1) \\ & =(-1)^{k+1} . \end{aligned}

This shows that the conclusion also holds for n=k+1n=k+1, thus the auxiliary proposition is true for any natural number nn.
Using this proposition, it is not difficult to derive the conclusion of this problem. Indeed, if nn is even, then
(21)n=(12)n=a22b2. (\sqrt{2}-1)^{n}=(1-\sqrt{2})^{n}=\sqrt{a^{2}}-\sqrt{2 b^{2}} .

Here a,ba, b are natural numbers, so a2,2b2a^{2}, 2 b^{2} are also natural numbers, and a22b2=1a^{2}-2 b^{2}=1.
If nn is odd, then
(21)n=(12)n=2b2a2, (\sqrt{2}-1)^{n}=-(1-\sqrt{2})^{n}=\sqrt{2 b^{2}}-\sqrt{a^{2}},

Here 2b2,a22 b^{2}, a^{2} are natural numbers, and
2b2a2=(a22b2)=(1)=1 2 b^{2}-a^{2}=-\left(a^{2}-2 b^{2}\right)=-(-1)=1 \text {. }

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.