>>827
頂点の一つは原点として一般性を失わない。
残る二つの頂点を(a,b),(c,d)とする。
以下略。