一個命題被證明成立，即為定理；定理的逆命題也被證明成立，則為逆定理。從無“定理必須是原命題和逆命題同時成立”之說。

並且，你那個證明根本就不成立(從第三步到結論無可靠的邏輯推理)。在此，試舉一個證明方法：

已知：在△ABC中，AC^2＋BC^2＝AB^2。求證：∠ACB為直角。

證明：作一線段A'C'，使得A'C'＝AC；過點C'作B'C'⊥A'C'，並使得B'C'＝BC；連接A'B'。

在△A'B'C'中，∠A'C'B'＝90°，根據勾股定理，有：

A'C'^2＋B'C'^2＝A'B'^2

∵AC^2＋BC^2＝AB^2(已知)

∴A'B'^2＝AB^2

∴△A'B'C'≌△ABC (SSS)

∴∠ACB＝∠A'C'B'＝90°

Q.E.D.