在初中階段，要證明邊長分別是3、4和5 的三角形是一個直角三角形，我們可以這樣說：「由於32 +42 = 52，所以根據畢氏定理的逆定理，它一個直角三角形。」
那麼，怎樣證明邊長分別是2、3和4 的三角形 XYZ 不是一個直角三角形呢？以下是一般教科書的說法：「由於22 +32 不等於 42，所以XYZ不是一個直角三角形。」
大家留意，當中省略了根據什麼。是否也是根據畢氏定理的逆定理？
非也！是根據畢氏定理 ！
我們可用反證法作出證明：「假設XYZ一個直角三角形，則22 +32 = 42 (畢氏定理)。矛盾。」
一般來說，根據一個常用的邏輯論證方法：contrapositivity, 「若ABC一個直角三角形，則a2 +b2 =c2 」與「若a2 +b2 不等於c2 ，則ABC不是一個直角三角形」這兩句statement是等價的。
(contrapositivity是指「若p則q 」與 「若~q則~p」 是等價的，例如「若下雨我便帶傘，但我沒帶傘，所以沒有下雨。)。
