Browse · MathNet
Print14th Turkish Mathematical Olympiad
Turkey geometry
Problem
Prove that there exists no triangle whose side lengths, area and angles (measured in degrees) are rational numbers.
Solution
By the law of sines and the law of cosines, the sines and cosines of the angles of such a triangle are also rational. Therefore it suffices to prove that if is an angle whose degree measure is a rational number that is not an integer multiple of , then both and cannot be rational.
Assume otherwise. Let and be pairwise relatively prime integers such that , . cannot be even as (mod ) is not possible.
We will prove by induction that there exist integers such that for . works for . If , then , and will do. For , and we can take .
Now choose a positive integer such that . Then . But, as and , this is a contradiction.
Assume otherwise. Let and be pairwise relatively prime integers such that , . cannot be even as (mod ) is not possible.
We will prove by induction that there exist integers such that for . works for . If , then , and will do. For , and we can take .
Now choose a positive integer such that . Then . But, as and , this is a contradiction.
Techniques
Triangle trigonometryTrigonometryModular Arithmetic