olymmath

IMO 1963 Problem 5

  • Day 2

Prove that cos⁡π7−cos⁡2π7+cos⁡3π7=12\cos{\frac{\pi}{7}}-\cos{\frac{2\pi}{7}}+\cos{\frac{3\pi}{7}}=\frac{1}{2}

Dataset text AI-MO AoPS. Quoted with source.

Official text: IMO 1963 official English paper, page 1.

Solutions

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

Add a solution

Locator imo/1963/p5 · Tag XT61H1F63G · Edit this page on GitHub · Keys: j next, k previous