MathDB
Ez pz trig

Source: Moldova TST 2019

March 8, 2019
trigonometryTSTeasygeometry

Problem Statement

Prove that En=arccosn1narccot2n1E_n=\frac{\arccos {\frac{n-1}{n}} } {\text{arccot} {\sqrt{2n-1} }} is a natural number for any natural number nn. (A natural number is a positive integer)