Problem #PRU-61102

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

Problem

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