Xét tam giác ABH vuồng tại H có BAH=45 => ABH'=45 Mà có ABD=ACD (cùng chăn cung AD) => ACD=45 (1) xét tam giác ACK vuông tại K có CAK =45 => ACK 45 (2) từ (1),(2) => DEC=45+45=90 =. DE là đường kính => D,O,E thẳng hàng

Kẻ AD là đường kính =>ADC=90 (góc nội tiếp chắn nửa (o) xét tam giác HBA và tam giác CDA có AHB=ACD=90 HBA=CDA (góc nội tiếp chắn nửa cung AC) => tam giác HBA đồng dạng với tam giác CDA (g-g) => AH/AC =AB/AD (góc t/ứ) => AB.AC=AD.AH mà AD=2R => AB.AC=2R.AH

có ACE= 90 (góc chắn nửa (o) suy ra OAC+AEC=90 mà có BAH+ABC=90 (tam giác ABH vuông) và AEC=ABC(cùng chắc cung AC) => BAH=OAC (dpcm)