以前、

 

このブログで、最速下降曲線がサイクロイドであることを証明したが、今回は、その等時性について

数学的に証明する。

 

 

 

 

 

 

この定積分が、θ₁の値によらずに一定になることを示せばいい。