重力により加速・減速される移動において、到達時間が最小になるのはサイクロイド曲線の場合、を証明しようとしたが、わからんままお休みワンワン!