ISL 1966 Problem 25

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

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

These problems have the most words in common with this statement.

Locator isl/1966/p25 · Tag 7QF87XRZA6 · Edit this page on GitHub · Keys: j next, k previous