​từ C vẽ DE=OB(E,B nằm cùng phía bờ AC)
ta có BD=OE, OA=BC
OA=OE
gọi góc xOz là a => zOy = 2a
tam giác BOH có 
góc BHO + a+góc OBH=180 độ
góc OBH=90 độ -a
ta có góc OBH= góc ABE =90 độ 
vì tam giác OAE là tam giác cân tại O  góc ÒÊÀ= 180−2a2180−2a2=90 độ 
từ  tam giác ABE cân tại A
AB=AE 
góc OBA = góc AEC ( cùng bù với góc ABE)
tam giác OAB =tam giác CAE(c.g.c)
OA=OC
tam giác AOC cân