たぶんこれ、こんなプログラムを書かなくても、理詰めで解けそうではあるけど、実際に演算して理詰めとあわないなら、問題自体が無効であり、検証する意味はある( ﾟДﾟ)y─~~
※単に書きたかっただけ