Problem #PRU-61102

Problems Methods Examples and counterexamples. Constructive proofs Pigeonhole principle Pigeonhole principle (other) Set theory and logic Algorithm Theory Algorithm Theory
 13–16  4.0

Problem

It is known that \(\cos \alpha^{\circ} = 1/3\). Is \(\alpha\) a rational number?