Sử dụng tích vô hướng, chứng minh minh định lí Pythagore: Tam giác ABC vuông tại A khi và chỉ khi BC² = AB² + AC².

+ Ta chứng minh định lí thuận:

Có tam giác ABC vuông ở A, cần chứng minh BC² = AB² + AC².

Tam giác ABC vuông tại A nên $\widehat{BAC}=90°$ .

Ta có: ${\overrightarrow{BC}}^2={\left(\overrightarrow{AC}-\overrightarrow{AB}\right)}^2={\overrightarrow{AC}}^2+{\overrightarrow{AB}}^2-2\overrightarrow{AC}.\overrightarrow{AB}$

Suy ra: BC² = AC² + AB² – 2 . AC . AB . cos$\left(\overrightarrow{AC},\overrightarrow{AB}\right)$

                    = AB² + AC² – 2 . AC . AB . cosA

                    = AB² + AC² – 2 . AC . AB . cos 90°

                    = AB² + AC² – 2 . AC . AB . 0

                    = AB² + AC².

Vậy BC² = AB² + AC².

+ Ta chứng minh định lí đảo:

Cho tam giác ABC có BC² = AB² + AC² thì tam giác ABC vuông tại A.

Ta có: ${\overrightarrow{BC}}^2={\left(\overrightarrow{AC}-\overrightarrow{AB}\right)}^2={\overrightarrow{AC}}^2+{\overrightarrow{AB}}^2-2\overrightarrow{AC}.\overrightarrow{AB}$

Suy ra: BC² = AC² + AB² – 2 . AC . AB . cos$\left(\overrightarrow{AC},\overrightarrow{AB}\right)$    (*)

Mà theo giả thiết ta có: BC² = AB² + AC² nên thay vào (*) ta được:

BC² = BC² – 2 . AC . AB . cos$\left(\overrightarrow{AC},\overrightarrow{AB}\right)$   

Suy ra: 2 . AC . AB . cos$\left(\overrightarrow{AC},\overrightarrow{AB}\right)$  = 0

 $\iff \cos \left(\overrightarrow{AC},\overrightarrow{AB}\right)=0$ hay $\cos \widehat{BAC}=0$

Do đó: $\widehat{BAC}=90°$ .

Vậy tam giác ABC vuông tại A.