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+3n−13k)],vk=tan[3π(1−3n−13k)],tk=tan3n−13k−1π uk=tan(3π+3n−13k−1π)=1−3tk3+tk,vk=tan(3π−3n−13k−1π)=1+3tk3−tk
Since tan3α=1−3tan2α3tanα−tan3α, we have tk+1=1−3tk23tk−tk3 Thus, tktk+1=1−3tk23−tk2=1−3tk3+tk⋅1+3tk3−tk=uk⋅vk Therefore, ∏k=1nukvk=t1t2⋅t2t3⋯tn−1tn⋅tntn+1=t1tn+1=tan3n−1πtan3n−13nπ=1 So, ∏k=1nuk=∏k=1nvk1=∏k−1nvk1 Thus, ∏k=1ntan[3π(1+3n−13k)]=∏k=1ncot[3π(1−3n−13k)]
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.