2018/8/8
それが公理なんじゃないですかね
三角形の角度変数に任意性があるので、特定の三角形の形を想定していても一般性は失われていないのだと思います。