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
8. (1) Reduce the order and use the projection theorem. (2) Use sin2x+cos2x=1 to transform into (1). (3) s=rΔ, proved by the conclusion of the 11th sub-question of the 1st question. (4) s=rΔ, from the conclusion of the 2nd sub-question of the 1st question, we know cot2Acot2Bcot2C=cot2A+cot2B+cot2C.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.