olymmath

AUSTRIAN-POLISH 1982 Problem 3

    If n≥2n \ge 2 is an integer, prove the equality ∏k=1ntan⁡π3(1+3k3n−1)=∏k=1ncot⁡π3(1−3k3n−1)\prod_{k=1}^n \tan \frac{\pi}{3}\left(1+\frac{3^k}{3^n-1}\right)=\prod_{k=1}^n \cot \frac{\pi}{3}\left(1-\frac{3^k}{3^n-1}\right)

    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.

    Add a solution

    Similar problems

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

    Locator austrian-polish/1982/p3 · Tag VZVD75NPZK · Edit this page on GitHub · Keys: j next, k previous