勾股定理表达了直角三角形的边长关系，即在一个直角三角形中，直角边的平方等于两个其他边的平方之和。它的数学表达式是 a² + b² = c² ，其中a和b是直角边，c是斜边。

逆定理是指给定一组正整数a、b和c，如果它们满足a² + b² = c²，那么它们构成直角三角形的条件。

逆定理的证明通常使用“差法”（差的平方等于和的平方）推导。假设给定的三组正整数a、b和c满足a² + b² = c²，那么我们可以对两边同时减去a²，得到 b² = c² - a²。然后，我们进一步将两边同时减去b²，得到 0 = c² - a² - b²，即 0 = c² - (a² + b²)。根据勾股定理，a² + b² = c²，所以上式可以简化为 0 = 0。因此，如果给定一组满足a² + b² = c²的正整数a、b和c，它们必定构成直角三角形。

由此可见，逆定理的使用差法是为了得出一个恒等于零的等式，从而证明给定的三组正整数满足勾股定理的条件，即构成直角三角形。