`BC=a, CA=b, AB=c, AH=c', HC=a'`
`∆ABH` vuông tại $H$
`=>BH^2+AH^2=AB^2` (định lý Pytago)
`=>BH^2+c'^2=c^2=>BH^2=c^2-c'^2`
$\\$
+) `TH: \hat{C}<90°`
`H` nằm trên đoạn thẳng $AC$
`=>HC=AC-AH<=>a'=b-c'`
`=>a'^2=(b-c')^2`
$\\$
+) `TH: \hat{C}>90°`
`H` nằm trên tia đối của tia $CA$
`=>HC=AH-AC<=>a'=c'-b`
`=>a'^2=(c'-b)^2=(b-c')^2`
$\\$
`=>a'^2=(b-c')^2`
$\\$
`∆BCH` vuông tại $H$
`=>BC^2=BH^2+HC^2` (định lý Pytago)
`<=>a^2=c^2-c'^2+(b-c')^2`
`<=>a^2=c^2-c'^2+b^2-2bc'+c'^2`
`<=>a^2=b^2+c^2-2bc`
$\\$
Vậy `a^2=b^2+c^2-2bc`
