>>64
OMの延長線と円弧のNにおける接線との交点をPとおく。
円弧のNにおける接線と円弧のMにおける接線の交点をQとおく。
β=∠MONとおく。
∠PNO=∠PMQ=π/2
∠MPQ=∠NPO（共通）より
3角形PQMと3角形PONは相似。
よって∠PQM=∠PON=β
よってα+β=α+△α
よってβ=△α