(1) よく知っている公式ですが，いざ証明となるとどうでしょうか？
(2)，(3) ともにO，A，B のどれもが一致しないという条件がつきます．この処理がこの問題の山場です．