Alex_McAvoy的博客

【定义】满足的三元组称为毕达哥拉斯三元组，当 时，称其为本原的。毕达哥拉斯三元组，也称为勾股数。【性质】由 x、y、z 构成的三元组 (x,y,z) ，其中 y 为偶数，那么由他们构成的本原的毕达哥拉斯三元组等价于：存在互素的一奇一偶的正整数 m、n，且 m>n，有：，并且可以看出，本原的毕达哥拉斯三元组中，最大的数一定是奇数。特别地，由构成毕达哥拉...

Problem DescriptionComputer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science. The first proof of the four-color problem was completed with the as...