JX = JP×sin α×sin β/(sin (60°- α)×sin (60°- β)) YP = JP×sin α×sin γ/(sin (60°- α)×sin (60°- γ)) UV×(sin (60°- α)×sin (60°- β)×sin (60°- γ) 　　= JP×sin β×sin γ×sin (60°+ α) α + β + γ = 60° であった JX + UV + YP = JP を示して S, T が JP 上にあることが示すことにする sin α×sin (60°- β) + sin β×sin (60°+ α) 　 = sin α×sin 60°×cos β - sin α×cos 60°×sin β 　　+ sin β×sin 60°×cos α + sin β×cos 60°×sin α 　　= sin 60°× sin(α + β) = sin 60°× sin(60°- γ) 従って JX + UV + YP = JP を示すためには sin α×sin β + sin 60°× sin γ 　　 = sin (60°- α)×sin (60°- β) を示せばよい。 続く　 一つもどる　 もどる