角の等しさから R,A,D,L が共円となり、直角により RL と RK を計算できる。
∠ALD=∠ARD\angle ALD=\angle ARD∠ALD=∠ARD より R,A,D,LR,A,D,LR,A,D,L は共円。従って ∠RLA=90∘\angle RLA=90^\circ∠RLA=90∘ で、RL2=AR2−AL2=AR2−AC2RL^2=AR^2-AL^2=AR^2-AC^2RL2=AR2−AL2=AR2−AC2。K について対称な議論をすれば ∠RKB=90∘\angle RKB=90^\circ∠RKB=90∘、RK2=BR2−BK2=BR2−BC2RK^2=BR^2-BK^2=BR^2-BC^2RK2=BR2−BK2=BR2−BC2。