我们可以通过计算机验证其在有限范围的正确性。

解析四方定理的应用