MathDB
The Democratic Republic Of Germany 3

Source: IMO LongList 1959-1966 Problem 25

September 2, 2004
trigonometryalgebraTrigonometric IdentitiesequationIMO ShortlistIMO Longlist

Problem Statement

Prove that tan730=6+232.\tan 7 30^{\prime }=\sqrt{6}+\sqrt{2}-\sqrt{3}-2.