证明只用到两件事:等腰三角形两底角相等;三角形的外角等于不相邻的两个内角之和(都由内角和 180∘ 推出)。
- **O 在角的一边上。** 设 PA 过 O。三角形 OPB 中 OP=OB,所以 ∠OPB=∠OBP。圆心角 ∠AOB 是它在 O 处的外角,所以 ∠AOB=2∠OPB=2∠APB。
- **O 在角的内部。** 作直径 PP′(虚线)。它把 ∠APB 分成 ∠OPA+∠OPB,把弧也分成两段。对每一段用上一种情形,再相加。
- **O 在角的外部。** 同样作直径,这时 ∠APB=∣∠OPA−∠OPB∣,改成相减。
画板上 ∠OPA 和 ∠OAP 是分别量出来的,两者始终相等,这就是等腰三角形那一步。