1、1佩尔方程与群牛问题王元1、佩尔方程所谓佩尔方程即方程 ，122dyx其中 d 为非零整数，试求正整数解 x, y.例如 d=5, 我们有解 x=9, y=4我们总可以假定 d0, 而且不是一个平方，否则，无解。这是一个不定方程，或丢番图方程。2、简史这个方程跟英国数学家佩尔（J. Pell, 1610-1685）无关。欧拉（L. Euler）错误地将这个方程的一个解法归于佩尔。这个解法是另一个英国数学家布龙克尔（W. Brouncker）为响应费马（Fermat 1601-1665）的挑战而发明的，但欲改变欧拉的提法总是无效的。布龙克尔的方法本质上等同于至少早六个世纪的印度数学家就知道的一个
2、方法。我们也看到，这个方程曾出现在希腊数学中，但并无证据证明希腊人能解出这个方程。一个非常清楚的“印度人的”或“英国人的”解佩尔2方程的方法包含在欧拉的书“代数学” （1770）中。现代教科书利用连分数来表述这个方法，例如华罗庚“数论导引” 。这也是欧拉提供的。这个方法证明了，若存在一个解，则这个方法就能够找出一个解。拉格朗日（Lagrange 1736-1813）于 1773 年第一个发表了这样一个证明，即佩尔方程总有一个解。3、最小解我们将佩尔方程改写为 1dyxdyx若按 的大小排序，其中最小者记为dyxdyx11这称为最小解，其他解都是 的方幂，即1,1ndyxdyxn否则通过除法即可
3、知 不是最小解了。14、解法考虑 d=14 将 展成连分数1462133截取一段 415123所以得最小解 . 145，其次小的解由41522 142092yx得出，我们有下面的表nnxny123615 4449 12013455 3596362074049 96768360由此看出随 n 增长， 是指数增长。dyxn5、群牛问题列辛（Lessing 1729-1781）在沃尔芬布台尔（Wolffenbttel）图书馆发现一份手稿，并于 1773 年发表，将这个问题归于阿基米德（Archimedes ）名下。问题写成422 行希腊哀歌体的对句诗。用数学语言可以表述于下：要求满足一些算术限制的属
4、于太阳神的白色的，黑色的，有斑点的与棕色的公牛个数，设这四种公牛的个数分别为x,y,z,t,则他们满足方程（1） txztzytyx716,54,312其次，命 分别表示为同样颜色的母牛个数，则 ,tzyx满足（2）x716t5z14y3tzyx还要满足（3） x+y 为一个平方数，（4） z+t 为一个三角数。方程（1）是一个不定方程组，线性的，有通解（x ,y ,z , t）=m (2226,1602,1580,891), m 为正整数，5于是（2）有解的充要条件为 km4657真正的挑战在于方程（3）与（4） ，即挑选 k 使为平方数kyx382657为三角数tz41由因子分解得 465
5、729132384657 所以 x+y 为一个平方，则相当于，2alk46572913z+t 为三角数的充要条件为 8（z+ t）+1 为平方数，即 12476518h 22 altz改写为 1h22dl其中 24657235973这是一个佩尔方程。6 解答 解佩尔方程首先要将 展成连分数，1867 年德国数学家梅耶（C.F. Meyer）将 展成了 240 步，未查出周期而放弃了。1991 年 Grosjean 与 De Meyer 发现周期长度为 203254。1880 年爱莫绍尔（A. Amthor）用了一些技巧对群牛问题的解决取得了突破。他没有给出最小解，当然没有给出群牛问题的对应解答。他证明了最小解是一个 206548 位数，6即约有 10 206545这么大的数，这个数的前四位数是 7766但第四个数错的，应为 77602000 年，伦斯查（Lenstra）完全解决了，其结果为阿基米德群牛问题的所有解 3,21368204246584658 jwkjjj第 j 个解 公牛 母牛白色的 jk1036482jk72063黑色的 j75j489有斑点的 jk jk51棕色的 j41938j32这些牛要放在西西里岛上，怎么放得下。列辛指出牛的所有者太阳神可以应对它。
