Cho tam giác ABC vuông tại A (AB < AC) ngoại tiếp đường tròn tâm O

1.     Vì BD, BF là các tiếp tuyến của (O) nên OD ⊥ BD, OF ⊥ BF.

Xét 2 tam giác vuông OBD và OBF có

OB chungOBD=OBF(gt)=>ΔOBD=ΔOBF (cạnh huyền–góc nhọn)

⇒ BD = BF

Mà OD = OF = r nên OB là trung trực của DF ⇒ OB ⊥ DF ⇒ ∆ KIF vuông tại K.

Mà OD = OF = r nên OB là trung trực của DF ⇒ OB ⊥ DF ⇒ ∆ KIF vuông tại K.DOE=90o

Theo quan hệ giữa góc nội tiếp và góc ở tâm cho đường tròn (O), ta có:

DFE=12DOE=45o

⇒ ∆ KIF vuông cân tại K.

=>BIF=45^o