∠AXB=180∘−B−A/2\angle AXB=180^\circ-B-A/2∠AXB=180∘−B−A/2 なので、正弦定理から AX/AB=sinB/sin(B+A/2)AX/AB=\sin B/\sin(B+A/2)AX/AB=sinB/sin(B+A/2) を得る。