一个命题被证明成立，即为定理；定理的逆命题也被证明成立，则为逆定理。从无“定理必须是原命题和逆命题同时成立”之说。

并且，你那个证明根本就不成立(从第三步到结论无可靠的逻辑推理)。在此，试举一个证明方法：

已知：在△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.