1.67 Prove that if n is a natural number, then (2−1)n=m−m−1,
where m 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 n, there exist natural numbers a,b, such that {(1−2)n=a2−2b2,a2−2b2=(−1)n.
When n=1, the conclusion is true. In fact, taking a=b=1 suffices. Suppose the conclusion holds for n=k. Then for n=k+1, ==(1−2)k+1=(1−2)k(1−2)=(a2−2b2)(1−2)(a−b2)(1−2)=a+2b−(a+b)2(a+2b)2−2(a+b)2=a12−2b12.
Here a1,b1 are natural numbers, and a12−2b12=(a+2b)2−2(a+b)2=−a2+2b2=−(a2−2b2)=(−1)k(−1)=(−1)k+1.
This shows that the conclusion also holds for n=k+1, thus the auxiliary proposition is true for any natural number n. Using this proposition, it is not difficult to derive the conclusion of this problem. Indeed, if n is even, then (2−1)n=(1−2)n=a2−2b2.
Here a,b are natural numbers, so a2,2b2 are also natural numbers, and a2−2b2=1. If n is odd, then (2−1)n=−(1−2)n=2b2−a2,
Here 2b2,a2 are natural numbers, and 2b2−a2=−(a2−2b2)=−(−1)=1.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.