第九节
关于一类反正切丢番图方程

设 x _i 正整数（i＝1，2，…，n）我们讨论下面反正切丢番图方程整数解问题：

是方程（1）一组整数解。

证明 熟知公式，当 u ＞0， v ＞0有反正切等式

利用基本公式（A）容易得到：

利用公式（B），令 n ＝1，2，…， n -2， n -1得到下面等式

这 n -1个等式两端分别相加，得到

整数组（2）是方程（1）正数数解。

是方程（1）一组整数解，即即下面方程成立

证明 对 n 用数学归纳法

1）当 n ＝3，两项反正切和.arctan ＋arctan ＝arctan

所以arctan ＋arctan ＝arctan（1）＝

2）假设 n ＝ m 是命题成立，

那么当 n ＝ m ＋1，有

由1），2）证明了当正整数 n ⩾3整数组（3）是方程（1）正整数解。

是方程（1）一组整数解，即下面方程成立

2）假设 n ＝ m 是命题成立，即

那么当 n ＝ m ＋1，

由1），2）证明了当正整数 n ⩾2，数组（4）为方程（1）的整数解。

例 1用公式整数组（2），（3）（4）分别写出方程（1）的整数解

方程（1）是否有其它类型的整数解？除了整数组（2），（3），（4）为方程（1）的整数解外，我们可以用（A）式用解方程的方法求的方程（1）另外形式的整数解。

例 2下面当 n ＝2，3时通过解方程的方法求方程（1）整数解。

方程改写为（ x -1）（ y -1）＝2，所以 x -1＝1， y -1＝2，

得到方程解 x ＝2， y ＝3或 x ＝3， y ＝2.

即得到arctan ＋arctan ＝ 或arctan ＋arctan ＝

根据基本公式（A）式，有arctan ＋arctan ＋arctan ＝arctan

这里考虑两种情况：

a）当 z 为偶数，由（9）式必有（ z -1）｜（ x ＋ y ），即 x ＋ y ＝ k （ z -1）；

从（9）式得到 xy -1＝ k （ z ＋1），那么

有 xy ＋1- x - y ＝2 k ＋2，即（ x -1）（ y -1）＝2（ k ＋1）。

设 d 是2（ k ＋1）的任意因子，则 x -1＝ d ， y -1＝ ， z ＝ ＋1.

显然（10）式得到 k 的有限个值是满足的，用这个方法得到方程的解。

例如， d ＝1，

（10）式推出 k ｜［3＋2（ k ＋1）］，有3＋2（ k ＋1）＝ kt ，5＝（ t -2） k ，

5 的因子只有1，5

当 k ＝1，得到方程解 x ＝2， y ＝5， z ＝8.

当 k ＝5得到方程解 x ＝2， y ＝13， z ＝4即

当 d ＝2，（10）式表示 k ｜［4＋（ k ＋1）］，有5＋ k ＝ kt ，＝（ t -1） k ，

则5的因子只有1，5

当 k ＝1，得到方程解 x ＝3， y ＝3， z ＝7.当 k ＝5得到方程解 x ＝3， y ＝7， z ＝3.

b）当 z 为奇数。则z＝2m＝1，给出z＋1＝2（m＋1），z-1＝2m.

所以（9）式给出

这里要 m ｜（ x ＋ y ），即 x ＋ y ＝ Am ，从（11）式有 xy -1＝（ m ＋1） A ，

代入 xy -1- x - y ＝ A .

得出（ x -1）（ y -1）＝ A ＋2．这又回到情况 a ）。于是讨论结束。

我们讨论下面反正切和式计算与反正切和式无穷和式极限值问题。

例 3下列等式成立

证明 （1）对 n 用数学归纳法

1）当 n ＝2，及前两项反正切和arctan1＋arctan ＝arctan ＝arctan2.

命题真。

2）假设 n ＝ m 是命题成立，即 arctan ＝arctanm.

由1），2）证明命题对任何正整数 n ⩾2成立。

显然，整数数组｛ k ² - k ＋1｝是方程（12）正整数解。

参考文献

［1］及万会，Lucas数方幂和［J］，纺织高校基础科学学报，2003，16（3）：212-215.

［2］史永堂，关于chebyshev多项式，Lucas多项式，fibonacci多项式［J］，西北大学学报，2006，36（2），193-196.

［3］及万会，一类Lucas数方幂和［J］，西南民族大学学报，2005，31（3）：330-334.

［4］佟盛林，关于双曲函数两点注记［J］，高等数学研究，2004，（5）：53.

［5］翁建平，沈世耀，双曲函数在物理领域应用［J］，乐山师范学院学报，2004，（5）：30-33.

［6］郭冠平，张解放，关于双曲函数求孤波解注记［J］，物理学报2002，（6）：1159-1162.

［7］及万会，吴永，双曲函数方幂和［J］，纺织高校基础科学学报，2011，24（2）：246-249.

［8］及万会，杨春艳，正负相间双曲函数方幂和［J］，重庆工商大学学报，2012，29（8）：31-35.

［9］数学手册编写组，数学手册［M］，人民教育出版社，1979，14-16.

［10］及万会，广切贝雪夫多项式分式之和［J］.云南民族大学学报2009，18（2）：105-108.

［11］及万会，顾银鲁，一类Lucas数与三角函数乘积的封闭形和式［J］，重庆文理学院学报，2008，27（3）.

［12］及万会，郭明普，含有三角函数的切贝雪夫多项式的封闭性和式［J］，新乡学院学报，2008，25（4）：10-12.

［13］及万会，一类含有三角函数的切贝雪夫多项式方幂和（英文），西南民族大学学报2009，35（1）：12-15.

［14］及万会，李忠宁，两个三角函数积的和的封闭形和式［J］，河北北方学院学报2010，26（4）：8-10.

［15］及万会，马东娟，一类分式封闭形和式［J］，河北北方学院学报2012，28（2）：9-12.

［16］柯召，孙琦单位分数［M］，人民教育出版社北京，1981:11-17.

［17］及万会，杨春艳，关于单位分数［J］，河北北方学院学报，2012，（1）：4-7.

［18］及万会，吴永，关于一类反正切丢番图方程，云南民族大学学报，2011，（6）：476-480. KZv7E6KLjWWHDQ++wS3zBjJ+b0AHuenebJW/bHtuob/G2adsu3/layMpJ47Weo5A