设为正整数且满足,满足条件的有序正整数对的个数记为;又设满足的有序正整数对的个数记为。则。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
差平方转为因数对计数;平方和则先用模三缩小到一个小圆上的整点。
有十五个正因数,全部为奇数。 等价于两个不等正奇因子 的乘积为二千零二十五。十五个因数中的相等一对被排除,故 。 对 ,模三得 ;除九后再模三,得二者都被九整除。写 ,有 。正整数解仅 ,所以 。故 。
平方和的零坐标解不符合正整数要求,不能计入;差平方的相等因子对应 也被排除。平方和是有序数对,所以两种坐标交换都应计入。
两种二次形式分别使用合适工具,因数对计数与模数降尺度均须保留原正性和顺序。
须自行把平方差转为不等正因子配对,并由平方和模3连续推出9整除两变量;再核正性与有序性,关键转化后为常规计数。
已记下,谢谢!