Kẻ KG⊥AB(G∈AB),KH⊥BC(H∈BC),KI⊥AC(I∈AC)KG⊥AB(G∈AB),KH⊥BC(H∈BC),KI⊥AC(I∈AC)
Vì KK là điểm nằm trên tia phân giác BKBK của ˆGBCGBC^
⇒K⇒K cách đều 22 cạnh BG,BCBG,BC của ˆGBCGBC^
mà KG⊥BGKG⊥BG tại GG, KH⊥BCKH⊥BC tại HH(cách dựng hình)
⇒KG=KH⇒KG=KH(tính chất về điểm nằm trên tia phân giác của một góc) (∗)(∗)
Vì KKlà điểm nằm trên tia phân giác CKCK của ˆBCIBCI^
⇒K⇒K cách đều 22 cạnh BC,CIBC,CI của ˆBCIBCI^
mà KI⊥CIKI⊥CI tại II, KH⊥BCKH⊥BC tại HH(cách dựng hình)
⇒KI=KH⇒KI=KH(tính chất về điểm nằm trên tia phân giác của một góc) (⋆)(⋆)
Từ (∗)(∗) và (⋆)⇒KG=KI(⋆)⇒KG=KI mà KG⊥ABKG⊥AB tại G, KI⊥ACG, KI⊥AC tại II(cách dựng hình)
⇒K⇒K cách đều 22 cạnh của ˆABCABC^ (tính chất về điểm nằm trên tia phân giác của một góc)
⇒K⇒K thuộc tia phân giác của ˆABC
