ΔAHO đồng dạng với ΔEIO
=>AH/EI=OH/OI
=>AH*OI=EI*OH(4)
ΔAHO đồng dạng với ΔIDO
=>AH/ID=OA/OI
=>AH*OI=OA*ID
=>OA*ID=EI*OH
=>OC*ID=EI*OH
=>IE/OC=ID/OH
góc HOC+góc AOH=180 độ
góc DIO+góc AOH=90 độ
=>góc OIE+góc DIO+góc AOH=180 độ
=>gosc EID+góc AOH=180 độ
=>góc HOC=góc EID
=>ΔEID đồng dạng với ΔCOH
=>góc IED=góc OCH
mà góc IED=góc AKD
nên góc OCH=góc AKD
=>ΔAKD đồng dạng với ΔACH
=>AK/AC=AD/AH
=>AK*AH=AD*AC=R^2