数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 64260|回复: 154

本原勾股方程

  [复制链接]
发表于 2020-2-19 18:51 | 显示全部楼层 |阅读模式
本帖最后由 蔡家雄 于 2023-3-11 19:27 编辑

蔡家雄勾股数公式1

设 n^2=u*v ,且 n>1, u>v, n,u,v 均为正整数,

若 u,v 一奇一偶且互质 及 n有t个不同的质因子

则 (u-v)^2+(2n)^2=(u+v)^2 有2^(t-1)组本原勾股数。

由公式1,等式两边同时除以4,得

蔡家雄勾股数公式2

设 n^2=u*v ,且 n>2, u>v, n,u,v 均为正整数,

若 u,v 同奇且互质 及 n有t个不同的质因子

则 n^2+[(u-v)/2]^2=[(u+v)/2]^2 有2^(t-1)组本原勾股数。



等差勾股方程与等和勾股方程及勾股弦方程

等差勾股方程

设 p 的素因子均为 8k -1型 或 8k+1型,

且 a 与 p 互素,

则 a^2+(a+p)^2=c^2 是 本原勾股方程。

若 p 有 t个 不同的素因子,

则 a^2+(a+p)^2=c^2 有 2^t组 通项公式。



求 a^2+(a+p)^2=c^2 的本原勾股数通项公式

设 x, y 为正整数,且 x < y,且 x与y 互素,

求 |y^2 - x^2 - 2*x*y| =p 的最小2^t组 正整数解,

设 xi, yi 表示 每组的最小正整数解,

设 R1=xi, R2=yi,  R(n+2)= 2*R(n+1)+Rn, 得2^t组Rn数列

设 v, u 是 Rn 数列中连续的两项,

则 (u^2 - v^2)^2+(2uv)^2= (u^2+v^2)^2

是 两直角边相差p 的本原勾股数。


(y2x2)2+(2xy)2=(y2+x2)2 ,

x,y 为正整数,且 x<y,且 xy 互素,

|y2x22xy|=202322(x,y) 的通解公式,

即 两直角边相差 2023 的本原勾股方程 的通解公式。

x,yAn=(6452)(1+2)n+(64+52)(12)n4 中连续的两项,

x,yBn=(88432)(1+2)n+(88+432)(12)n4 中连续的两项,

x,yCn=(64+52)(1+2)n+(6452)(12)n4 中连续的两项,

x,yDn=(88+432)(1+2)n+(88432)(12)n4 中连续的两项,



等和勾股方程

设 p 的素因子均为 8k -1型 或 8k+1型,

若 a^2+b^2= c^2,

且 a+b= p ,

若 p 有 t个 不同的素因子,

则 a^2+b^2= c^2 有 2^(t-1)组 本原勾股数。

特例:
若 p 为素数或素数幂,

则 a^2+b^2= c^2 有且仅有1组 本原勾股数。

特殊勾股方程

若 a^2+b^2= c^2,

且 a+b=r^n 及 c=s^n, ( n>=2 )

的 本原勾股数,你能找到吗?


若 a^2+b^2= c^2,

且 a+b=r^2 及 c=s^2, ( r, s 均为整数 )

的 本原勾股数 是 存在的。

a=1061652293520 , b=4565486027761 , c=2165017^2

a, b 互质,且 a+b=2372159^2 及 c=2165017^2.


勾股弦方程

若(a, b, c)为本原勾股数,

且 a+b= c+2n ,

若 2n 有 t个不同的素因子,

则 a^2+b^2= c^2 有 2^(t-1)组 本原勾股数。

特例:
若 2n=2^k ,

则 a^2+b^2= c^2 有且仅有1组 本原勾股数。



若(a, b, c)为本原勾股数,

且 a+b= c+2020 ,

由 2020 有 3个不同的素因子,

则 a^2+b^2= c^2 有 2^(3-1)组 本原勾股数。

1-----( a=12221, b=2220, c=12421 )

2-----( a=2045, b=83628, c=83653 )

3-----( a=257045, b=2028, c=257053 )

4-----( a=2021, b=2042220, c=2042221 )

评分

参与人数 2威望 0 收起 理由
cz1 -10 神马都是浮云
wlc1 + 10 赞一个!

查看全部评分

 楼主| 发表于 2020-2-19 18:58 | 显示全部楼层
本帖最后由 蔡家雄 于 2020-2-25 20:53 编辑


公共弦勾股数的个数公式

它与公共弦c的4x-1 型素数的指数 无关,

均与公共弦c的4x+1型素数的指数 有关,

设公共弦c中有t个4x+1型的素数,

它的指数为r1, r2, ... , rt,

则公共弦勾股数的个数公式为

[(1+2r1)*(1+2r2)*...*(1+2rt) -1]/2

定A勾股数解数及定C勾股数解数,200年前的大数学家Euler 早已发现!


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 1 反对 0

使用道具 举报

 楼主| 发表于 2020-2-19 19:34 | 显示全部楼层
本帖最后由 蔡家雄 于 2020-3-16 15:31 编辑

本原勾股数新公式

设 n为正整数,k为非负整数,

设 a= 2^(k+1)*(2^k+2n -1)
    b= ((2n+2^k -1))^2 -2^(2k)
    c= ((2n+2^k -1))^2 -2^(2k)+2^(2k+1)

则 a^2+b^2 =c^2


当 k=0 时,有 a=4n,  b=4*n^2 -1,  c=4*n^2+1.

当 k=1 时,有 a=8n+4,  b=(2n+1)^2 -4,  c=(2n+1)^2+4.


本原勾股数新公式

设 (2k -1) 与 (2n+1) 同奇且互素,

设 a= (2k -1)*(2n+1)
    b= 2*n^2+4kn -2n
    c= 2*n^2+4kn -2n+(2k -1)^2

则 a^2+b^2 =c^2


当 k=1 时,有 a=2n+1,  b=2*n^2+2n,  c=2*n^2+2n+1.

回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-19 20:59 | 显示全部楼层
本帖最后由 蔡家雄 于 2025-3-17 21:49 编辑

等差勾股方程

p 的素因子均为 8k1 型 或是 8k+1 型,

ap 互素,

a2+(a+p)2=c2 是 本原勾股方程。

pt 个不同的素因子,

a2+(a+p)2=c22t 组通项公式。



a2+(a+p)2=c2 的本原勾股数通项公式

x,y 为正整数,且 x<y ,且 xy 互素,

Abs[y2x22xy]=p 的最小 2t 组正整数解,

x1,y1 表示 每组的最小正整数解,

R1=x1,R2=y1,Rn+2=2Rn+1+Rn , 得 2tRn数列,

v,uRn 数列中连续的两项,

(u2v2)2+(2uv)2=(u2+v2)2

是 两直角边相差p 的本原勾股数。


(y2x2)2+(2xy)2=(y2+x2)2 ,

x,y 为正整数,且 x<y,且 xy 互素,

Abs[y2x22xy]=202322(x,y) 的通解公式,

即 两直角边相差 2023 的本原勾股方程的通解公式。

v,uAn=(6452)(1+2)n+(64+52)(12)n4 中连续的两项,

v,uBn=(88432)(1+2)n+(88+432)(12)n4 中连续的两项,

v,uCn=(64+52)(1+2)n+(6452)(12)n4 中连续的两项,

v,uDn=(88+432)(1+2)n+(88432)(12)n4 中连续的两项,


(u2v2)2+(2uv)2=(u2+v2)2

是 两直角边相差2023 的本原勾股数。


回复 支持 反对

使用道具 举报

发表于 2020-2-19 21:10 | 显示全部楼层
本帖最后由 wlc1 于 2020-2-21 13:58 编辑

一道小题,朱火华先生会做吗?

公共弦C=125*841*89 的52组勾股数?

求不出:朱火华先生——丢人现眼!!


人们早已知道公共弦勾股数的解法,

用xxxxx2050 的口气:我干嘛要把解法告诉你,

就算你找到了公共弦勾股数的解法,

别以为自己在数学上发现了一个新大陆。

回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-20 06:30 | 显示全部楼层
本帖最后由 蔡家雄 于 2025-4-11 12:38 编辑

罗士琳勾股数本原解公式

设 奇数Q=m+n,(m,n 互质 且 m>n, m,n 均为正整数)

则 [Q*(m-n)]^2+(2mn)^2=[m^2+n^2]^2 有 E/2组的本原勾股数。

其中,E 就是著名的 Euler 函数。但,不是朱火华的公式。



求 a^2+(a+23*49)^2=c^2 的本原勾股数通项公式

设 x, y 为正整数,且 x < y,且 x与y 互素,

求 |y^2 - x^2 - 2*x*y| =23*49 的最小2^2组 正整数解,

设 xi, yi 表示 每组的最小正整数解,

设 R1=xi, R2=yi,  R(n+2)= 2*R(n+1)+Rn,得4组Rn数列

第1组 Rn=24, 29, 82, 193, 468, 1129, 2726, 6581, ...

第2组 Rn=26, 41, 108, 257, 622, 1501, 3624, 8749, ...

第3组 Rn=11, 48, 107, 262, 631, 1524, 3679, 8882, ...

第4组 Rn=19, 62, 143, 348, 839, 2026, 4891, 11808, ...

设 v, u 是 Rn 数列中连续的两项,

则 (u^2 - v^2)^2+(2uv)^2= (u^2+v^2)^2

是 两直角边相差23*49 的本原勾股数。



回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-20 06:56 | 显示全部楼层
本帖最后由 蔡家雄 于 2020-2-28 19:09 编辑


有的是:股平方+勾平方= 弦平方,

朱火华先生提倡:勾股不分,a,b 不分,







分析:朱火华的奇数为勾全部解公式,

反例:x^2=15^2=25*9,
15^2+[(25-9)/2]^2=[(25+9)/2]^2
15^2+8^2=17^2(15为股,8为勾)

朱明君先生何为勾,何为股都分不清,昏而不明,


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-20 10:40 | 显示全部楼层
本帖最后由 蔡家雄 于 2025-4-11 12:29 编辑

等和勾股方程

设 p 的素因子均为 8k -1 型 或是 8k+1 型,

若 a^2+b^2= c^2,

且 a+b= p ,

若 p 有 t个 不同的素因子,

则 a^2+b^2= c^2 有 2^(t-1)组 本原勾股数。



p 的素因子均为 8k1 型 或是 8k+1 型,

p 的素因子 =7,17,23,31,41,47,71,73,79,89,97, ......

x22y2=±(2rp) , ( 2r=1,2,4,8,... )

x22y2=±(2rp) 必有正整数解和通解公式。


若 a^2+b^2= c^2,

且 a+b= 7*17*23,

由 7*17*23 有 3个不同的素因子,

则 a^2+b^2= c^2 有 2^(3-1)组 本原勾股数。

1-----( a=73, b=2664, c=2665 )

2-----( a=1425, b=1312, c=1937 )

3-----( a=1705, b=1032, c=1993 )

4-----( a=2173, b=564, c=2245 )


若 a^2+b^2= c^2,

且 a+b= 71*73*79*89,

由 71*73*79*89 有 4个不同的素因子,

则 a^2+b^2= c^2 有 2^(4-1)组 本原勾股数。

1-----( a=1692817, b=34748856, c=34790065 )

2-----( a=9236565, b=27205108, c=28730333 )

3-----( a=12389217, b=24052456, c=27055745 )

4-----( a=21126105, b=15315568, c=26093657 )

5-----( a=23824017, b=12617656, c=26959025 )

6-----( a=24777285, b=11664388, c=27385613 )

7-----( a=33833865, b=2607808, c=33934217 )

8-----( a=35044317, b=1397356, c=35072165 )


回复 支持 反对

使用道具 举报

发表于 2020-2-21 08:09 | 显示全部楼层
wlc1 发表于 2020-2-20 23:42
一道小题,朱火华先生会做吗?

公共弦C=125*841*89 的52组勾股数?

王守恩老师,庄严老师,蔡老师,程老师会做
回复 支持 反对

使用道具 举报

 楼主| 发表于 2020-2-21 12:25 | 显示全部楼层
本帖最后由 蔡家雄 于 2025-4-11 12:34 编辑

蔡氏勾股弦方程

设 a+b= c+2n ,(n为任意正整数,都有本原解)

若 2n 有 t个不同的素因子,

则 a^2+b^2= c^2 有 2^(t-1)组 本原勾股数。

特例:
若 2n=2^k ,

则 a^2+b^2= c^2 有且仅有1组 本原勾股数。



若(a, b, c)为本原勾股数,

且 a+b= c+7744 ,

由 7744 有 2个不同的素因子,

则 a^2+b^2= c^2 有 2^(2-1)组 本原勾股数。

1-----( a=22385, b=9792, c=24433 )

2-----( a=7745, b=29992512, c=29992513 )


若(a, b, c)为本原勾股数,

且 a+b= c+2020 ,

由 2020 有 3个不同的素因子,

则 a^2+b^2= c^2 有 2^(3-1)组 本原勾股数。

1-----( a=12221, b=2220, c=12421 )

2-----( a=2045, b=83628, c=83653 )

3-----( a=257045, b=2028, c=257053 )

4-----( a=2021, b=2042220, c=2042221 )


回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-14 10:21 , Processed in 0.127487 second(s), 25 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: