MathDB
cos \pi x =1/3 then x is irrational

Source: Polish MO Second Round 1976 p5

September 8, 2024
algebratrigonometryrationalirrational

Problem Statement

Prove that if cosπx=13 \cos \pi x =\frac{1}{3} then x x is an irrational number.