Phát biểu: “Tam giác ABC là tam giác vuông khi và chỉ khi tam giác ABC có một góc bằng tổng hai góc còn lại”.
Mệnh đề này đúng.
Thật vậy, giả sử ba góc của tam giác ABC lần lượt là \(x,y,z\;\) (đơn vị \({^o}\)).
Ta có: tam giác ABC có một góc bằng tổng hai góc còn lại.
Không mất tính tổng quát, giả sử: \(x=y+z\)
\(\Leftrightarrow 2x ={180^o} \) (vì \(x + y + z = {180^o}\)).
\(\Leftrightarrow x ={90^o} \)
Vậy tam giác ABC vuông.