勾股定理：在直角三角形中，斜边的平方等于两条直角边的平方和。即：a+b=c。逆定理：如果三个正数a、b、c满足关系式c=a+b，则这三个数肯定可以构成一个直角三角形。证明：假设这三个正数a、b、c可以组成一个非直角三角形，那么一定存在三个角α、β、γ，其中α+β+γ=π，α≠90°，β≠90°，γ≠90°。因为a+b≠c，所以α+β+γ≠π，与已知条件矛盾，所以这三个正数a、b、c只能构成一个直角三角形。