1 OC476

Proof. Let√S = a + b√,where a = sin(64x) and b = sin(65x).

=⇒ C = 1 − a2 + 1 − b2 (considering only positive roots for simplicity).

Given that S, C ∈ Q.

√ √ √ √
Lemma 1. If a1 + a2 ∈ Q =⇒ a1 ∈ Q and a2 ∈ Q.
√ √ √ √ √ √ a1 − a2
Proof. a1 − a2 = ( a1 − a2 )( a1 + a2 ) =⇒ a1 − a2 = √ √ .
√ √ √ √ √ √ a1 + a2
∵ a1 + a2 ∈ Q =⇒ a1 − a2 ∈ Q =⇒ a1 ∈ Q and a2 ∈ Q.


√ √
∵ C ∈ Q, by Lemma 1 we have 1 − a2 ∈ Q and 1 − b2 ∈ Q.