Giả sử[tex] AH\perp BC [/tex]
Ta có:[tex]\Delta BHA[/tex] vuông tại [TEX]H[/TEX] (vì [tex] AH\perp BC [/tex] )
[tex]\Rightarrow AB^2 = BH^2+AH^2 (1)[/tex]
Ta có:[tex]\Delta CHA[/tex] vuông tại H (vì [tex] AH\perp BC [/tex] )
[tex]\Rightarrow AC^2 = CH^2+AH^2 (2)[/tex]
Từ [TEX](1)[/TEX] và [TEX](2)[/TEX] cộng vế theo vế ta được:
[tex] AB^2 + AC^2= BH^2+AH^2 +CH^2+AH^2[/tex]
[tex]\Rightarrow BC^2=BH^2+CH^2+2AH^2 [/tex] (vì [tex]\Delta ABC[/tex] vuông tại [TEX]A[/TEX])
[tex]\Rightarrow BC^2= BH^2+CH^2 +2HB.HC[/tex] (vì [tex]AH^2=HB.HC [/tex]do giả thiết)
[tex]\Rightarrow BC^2= (BH+CH)^2[/tex] (hằng đẳng thức)
[tex]\Rightarrow BC^2= BC^2[/tex] (luôn đúng)
Vậy [tex] AH\perp BC [/tex]