どの場合でも角の相等が強制されたので、正弦定理を用いてそれを辺の相等に戻せば証明が完了する。
α=β\alpha=\betaα=β であり、等しい角に対する辺は等しい(a=2Rsinα=2Rsinβ=ba=2R\sin\alpha=2R\sin\beta=ba=2Rsinα=2Rsinβ=b)ため、三角形 ABCABCABC は a=ba=ba=b を満たす二等辺三角形である。