二等辺台形と円周四角形から、∠AHI=180∘−∠IHK=180∘−∠AKN=∠ABN\angle AHI=180^\circ-\angle IHK=180^\circ-\angle AKN=\angle ABN∠AHI=180∘−∠IHK=180∘−∠AKN=∠ABN を得る。