Hi,
Let's discuss the question on induction, which was posed
on 14 Mar.
First, we investigate some specific cases.
When n = 2, (sin a)^2 + (cos a)^2 = 1 \in Q, the set
of rational numbers.
When n = 3,
(sin a)^3 + (cos a)^3 = (sin a + cos a) [ (sin a)^2 + (cos
a)^2 ]
- (sin a)(cos a)(sin a + cos a),
which is not clear to us whether it will be a rational
number, since the issue lies with
(sin a)(cos a).
Now (sin a)(cos a) = 1/2 [ (sin a + cos a)^2 - {(sin a)^2
+ (cos a)^2} ] \in Q.
So we are certain that
(sin a)^3 + (cos a)^3 \in Q.
When n = 4,
(sin a)^4 + (cos a)^4 = (sin a + cos a) [ (sin a)^3 + (cos
a)^3 ]
- (sin a)(cos a) [ (sin a)^2 + (cos a)^2 ],
which is a rational number since the cases where n = 1,
2, 3 are true and (sin a)(cos a) is rational from the previous
part.
In general,
(sin a)^{k+1} + (cos a)^{k+1} = (sin a + cos a) [ (sin
a)^k + (cos a)^k ]
-
(sin a)(cos a) [ (sin a)^{k-1} + (cos a)^{k-1} ]
holds, based on the pattern we have seen thus far.
We are now well-positioned to carry out induction, which
will be elaborated in the next posting.
Thanks for reading.
Cheers,
Wen Shih