Olympiad Maths Prep

Track / Stage 6 / 182 of 400 #1182 of 2000

Problem 1182

National olympiad, first round
Algebra Difficulty 6.3 Prove it

13. Prove: k=1ntan[π3(1+3k3n1)]=k=1ncot[π3(13k3n1)](n2,nN)\prod_{k=1}^{n} \tan \left[\frac{\pi}{3}\left(1+\frac{3^{k}}{3^{n}-1}\right)\right]=\prod_{k=1}^{n} \cot \left[\frac{\pi}{3}\left(1-\frac{3^{k}}{3^{n}-1}\right)\right] \quad\left(n \geqslant 2, n \in \mathbf{N}^{*}\right).

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

13. Let uk=tan[π3(1+3k3n1)],vk=tan[π3(13k3n1)],tk=tan3k1π3n1 u_{k}=\tan \left[\frac{\pi}{3}\left(1+\frac{3^{k}}{3^{n}-1}\right)\right], v_{k}=\tan \left[\frac{\pi}{3}\left(1-\frac{3^{k}}{3^{n}-1}\right)\right], t_{k}=\tan \frac{3^{k-1} \pi}{3^{n}-1}
uk=tan(π3+3k1π3n1)=3+tk13tk,vk=tan(π33k1π3n1)=3tk1+3tk u_{k}=\tan \left(\frac{\pi}{3}+\frac{3^{k-1} \pi}{3^{n}-1}\right)=\frac{\sqrt{3}+t_{k}}{1-\sqrt{3} t_{k}}, v_{k}=\tan \left(\frac{\pi}{3}-\frac{3^{k-1} \pi}{3^{n}-1}\right)=\frac{\sqrt{3}-t_{k}}{1+\sqrt{3} t_{k}}

Since tan3α=3tanαtan3α13tan2α\tan 3 \alpha=\frac{3 \tan \alpha-\tan ^{3} \alpha}{1-3 \tan ^{2} \alpha}, we have tk+1=3tktk313tk2 t_{k+1}=\frac{3 t_{k}-t_{k}^{3}}{1-3 t_{k}^{2}}
Thus, tk+1tk=3tk213tk2=3+tk13tk3tk1+3tk=ukvk\frac{t_{k+1}}{t_{k}}=\frac{3-t_{k}^{2}}{1-3 t_{k}^{2}}=\frac{\sqrt{3}+t_{k}}{1-\sqrt{3} t_{k}} \cdot \frac{\sqrt{3}-t_{k}}{1+\sqrt{3} t_{k}}=u_{k} \cdot v_{k}
Therefore, k=1nukvk=t2t1t3t2tntn1tn+1tn=tn+1t1=tan3nπ3n1tanπ3n1=1\prod_{k=1}^{n} u_{k} v_{k}=\frac{t_{2}}{t_{1}} \cdot \frac{t_{3}}{t_{2}} \cdots \frac{t_{n}}{t_{n-1}} \cdot \frac{t_{n+1}}{t_{n}}=\frac{t_{n+1}}{t_{1}}=\frac{\tan \frac{3^{n} \pi}{3^{n}-1}}{\tan \frac{\pi}{3^{n}-1}}=1
So, k=1nuk=1k=1nvk=k1n1vk\prod_{k=1}^{n} u_{k}=\frac{1}{\prod_{k=1}^{n} v_{k}}=\prod_{k-1}^{n} \frac{1}{v_{k}}
Thus, k=1ntan[π3(1+3k3n1)]=k=1ncot[π3(13k3n1)]\prod_{k=1}^{n} \tan \left[\frac{\pi}{3}\left(1+\frac{3^{k}}{3^{n}-1}\right)\right]=\prod_{k=1}^{n} \cot \left[\frac{\pi}{3}\left(1-\frac{3^{k}}{3^{n}-1}\right)\right]

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.