Problem

Source: Moldova TST 2019

Tags: trigonometry, TST, easy, geometry



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