数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
楼主: 太阳

yangchuanju网友,是否能找到一个反例?

[复制链接]
 楼主| 发表于 2025-4-27 09:37 | 显示全部楼层
10楼命题
时空伴随者网友,是否能找到反例?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2025-4-27 10:02 | 显示全部楼层
已知:2ac3act2+2ac+2c=ct2t3kt5y
整数a0c0k0y0,奇数t1,素数p0
求证:t=p
时空伴随者网友,找到反例
a=1799, c=1230, t=[37, 47]
a=647, c=7758, t=[19, 577]
发现a≠3k,c=3y,c是3的倍数
已知:2ac3act22ac2c=ct2,整数a0c0,奇数t1,素数p0
求证:t=p
是否能找到反例?
发现a=3k,c≠3y,a是3的倍数

点评

原命题第2,3,4项的系数符号分别取+++,++-,+-+,-++,+--。-+-,--+,---,共8种组合,要网友们给你一一验证码? -++有反例,其它7种也应该都有反例!  发表于 2025-4-27 12:01
老调重谈,要想确保1楼命题中的t是素数,只规定t不等于3k、不等于5y是不行的,必须规定t不能是任意素数的倍数!  发表于 2025-4-27 11:54
回复 支持 反对

使用道具 举报

 楼主| 发表于 2025-4-27 12:18 | 显示全部楼层
奇数m>1,t>1,方程2ac3acm2t22accm2t22c=0,是否有整数解?
DeepSeek,解答


本帖子中包含更多资源

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

x

点评

DS的分析结论(均无法得到整数)不正确!莫再被它忽悠!  发表于 2025-4-28 04:52
回复 支持 反对

使用道具 举报

发表于 2025-4-27 13:24 | 显示全部楼层
本帖最后由 yangchuanju 于 2025-4-27 20:44 编辑
太阳 发表于 2025-4-27 10:02
已知:2ac3act2+2ac+2c=ct2t3kt5y
整数a0c0k0,\(y>0 ...


1楼命题的8种变形式
2ac^2-at^2+2a+2=t^2,t^2=2*(ac^2+a+1)/(a+1);
2ac^2-at^2-2a+2=t^2,t^2=2*(ac^2-a+1)/(a+1);
2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(a+1);
2ac^2-at^2-2a-2=t^2,t^2=2*(ac^2-a-1)/(a+1);
2ac^2+at^2+2a+2=t^2,t^2=2*(ac^2+a+1)/(1-a);
2ac^2+at^2-2a+2=t^2,t^2=2*(ac^2-a+1)/(1-a);
2ac^2+at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(1-a);
2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2-a-1)/(1-a);
限制条件参看原命题。
求证:8种变形式中的t都是素数。
回复 支持 反对

使用道具 举报

发表于 2025-4-27 13:38 | 显示全部楼层
4楼、5楼后半部命题也有8种变形式,
其中4楼命题有t不能是3的倍数数、5的倍数数;
5楼命题中取消了t不能是3和5倍数数的限制——
2ac^3-act^2+2ac+2c=at^2,t^2=2*(ac^3+ac+c)/(a+ac);
2ac^3-act^2-2ac+2c=at^2,t^2=2*(ac^3-ac+c)/(a+ac);
2ac^3-act^2+2ac-2c=at^2,t^2=2*(ac^3+ac-c)/(a+ac);
2ac^3-act^2-2ac-2c=at^2,t^2=2*(ac^3-ac-c)/(a+ac);
2ac^3+act^2+2ac+2c=at^2,t^2=2*(ac^3+ac+c)/(a-ac);
2ac^3+act^2-2ac+2c=at^2,t^2=2*(ac^3-ac+c)/(a-ac);
2ac^3+act^2+2ac-2c=at^2,t^2=2*(ac^3+ac-c)/(a-ac);
2ac^3+act^2-2ac-2c=at^2,t^2=2*(ac^3-ac-c)/(a-ac);
限制条件参看原命题。
求证:8种变形式中的t都是素数。
回复 支持 反对

使用道具 举报

发表于 2025-4-27 20:20 | 显示全部楼层
太阳 发表于 2025-4-27 07:37
已知:2ac3act22ac2c=ct2,整数a0c0,奇数t1,素数p0
求证:t=p ...

10楼命题部分整数解
a        c        t        分解式
-3        3        5        素数
-51        5        7        素数
-19        9        13        素数
-3        11        19        素数
-1683        29        41        素数
-67        33        47        素数
-3        41        71        素数
-2739        111        157        素数
-83        123        175        5*5*7
-3        153        265        5*53
-243        187        265        5*53
-339        221        313        素数
-627        313        443        素数
-51        495        707        7*101
-6963        531        751        素数
-3        571        989        23*43
-7443        671        949        13*73
-13123        729        1031        素数
-12483        869        1229        素数
-2259        1129        1597        素数
回复 支持 反对

使用道具 举报

发表于 2025-4-27 20:45 | 显示全部楼层
yangchuanju 发表于 2025-4-27 13:24
1楼命题的8种变形式
2ac^2-at^2+2a+2=t^2,t^2=2*(ac^2+a+1)/(a+1);
2ac^2-at^2-2a+2=t^2,t^2=2*(a ...

第2、第3约简式的整数解及其正反例                       
2ac^2-at^2-2a+2=t^2,t^2=2*(ac^2-a+1)/(a+1);                       
a=1,t=c不计                       
a        c        t        分解式
97        10        14        2*7
3361        58        82        2*41
97        59        83        素数
2161        87        123        3*41
1921        116        164        4*41
3313        343        485        5*97
-47        5        7        素数
-1679        29        41        素数
-719        737        1043        7*149反例
-1583        955        1351        7*193反例
                       
2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(a+1);                       
a=1,t=c不计                       
a        c        t        分解式
11        2        3       
3        4        5       
17        5        7       
33        10        14       
291        12        17       
11        14        19       
107        22        31       
561        29        41       
17        32        44       
3        40        49        反例
1121        58        82       
33        61        85       
417        63        89       
9803        70        99       
387        80        113       
107        130        183       
593        184        260       
17        203        279       
11        274        371        7*53反例
3777        285        403       
2251        302        427        7*61反例
1137        353        499        素数
3        396        485       
387        468        661        素数
113        500        704       
3267        500        707        7*101反例
81        503        707        7*101反例
要想没有反例,必须规定t不能是任意素数的倍数数!                       
回复 支持 反对

使用道具 举报

发表于 2025-4-28 05:03 | 显示全部楼层
1楼命题有8种变形式
(1)2ac^2-at^2+2a+2=t^2,t^2=2*(ac^2+a+1)/(a+1);
(2)2ac^2-at^2-2a+2=t^2,t^2=2*(ac^2-a+1)/(a+1);
(3)2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(a+1);
(4)2ac^2-at^2-2a-2=t^2,t^2=2*(ac^2-a-1)/(a+1);
(5)2ac^2+at^2+2a+2=t^2,t^2=2*(ac^2+a+1)/(1-a);
(6)2ac^2+at^2-2a+2=t^2,t^2=2*(ac^2-a+1)/(1-a);
(7)2ac^2+at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(1-a);
(8)2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2-a-1)/(1-a);
限制条件参看原命题。
下面仅对第4、第3变形式进行分析——

(4)2ac^2-at^2-2a-2=t^2,t^2=2*(ac^2-a-1)/(a+1);               
令a=-3,t^2=2*(-3c^2+3-1)/(-3+1)=3c^2-2               
a        c        t
-3        3        5
-3        11        19
-3        41        71
-3        153        265
-3        571        989
或令a=3,t^2=2*(3c^2-3-1)/(3+1)=(3c^2-4)/2               
a        c        t
3        2        2
3        18        22
3        178        218

2ac^2-at^2-2a-2=t^2,t^2=2*(ac^2-a-1)/(a+1);
令a=-3,t^2=2*(-3c^2+3-1)/(-3+1)=3c^2-2
t^2=3c^2-2整数解
c=±1/6(3(2-sqrt(3))^n+sqrt(3)(2-sqrt(3))^n+3(2+sqrt(3))^n-sqrt(3)(2+sqrt(3))^n),
t=±1/2((2-sqrt(3))^n+sqrt(3)(2-sqrt(3))^n+(2+sqrt(3))^n-sqrt(3)(2+sqrt(3))^n),n∈Z,n>=0

令a=3,t^2=2*(3c^2-3-1)/(3+1)=(3c^2-4)/2
t^2=(3c^2-4)/2整数解
c=±1/3(3(5-2sqrt(6))^n+sqrt(6)(5-2sqrt(6))^n+3(5+2sqrt(6))^n-sqrt(6)(5+2sqrt(6))^n),
t=±1/2(2(5-2sqrt(6))^n+sqrt(6)(5-2sqrt(6))^n+2(5+2sqrt(6))^n-sqrt(6)(5+2sqrt(6))^n),n∈Z,n>=0

仅a=±3,就要无穷多组整数解,其中哪能都是素数?
回复 支持 反对

使用道具 举报

发表于 2025-4-28 05:13 | 显示全部楼层
(接上楼)
(3)2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(a+1);               
令a=3,t^2=2*(3c^2+3-1)/(3+1)=(3c^2+2)/2               
a        c        t
3        4        5
3        40        49
3        396        485
或令a=-3,t^2=2*(-3c^2-3-1)/(-3+1)=3c^2+4               
a        c        t
-3        2        4
-3        8        14
-3        30        52
-3        112        194
-3        418        724
               
2ac^2-at^2+2a-2=t^2,t^2=2*(ac^2+a-1)/(a+1);               
令a=3,t^2=2*(3c^2+3-1)/(3+1)=(3c^2+2)/2               
c=±((5-2sqrt(6))^n-(5+2sqrt(6))^n)/sqrt(6),               
t=±1/2((5-2sqrt(6))^n+(5+2sqrt(6))^n),n∈Z,n>=0               
               
令a=-3,t^2=2*(-3c^2-3-1)/(-3+1)=3c^2+4               
c=±((2-sqrt(3))^n-(2+sqrt(3))^n)/sqrt(3),               
t=-(2-sqrt(3))^n-(2+sqrt(3))^n,n∈Z,n>=0               
c=±((2-sqrt(3))^n-(2+sqrt(3))^n)/sqrt(3),               
t=(2-sqrt(3))^n+(2+sqrt(3))^n,n∈Z,n>=0               

仅a=±3,就要无穷多组整数解,其中哪能都是素数?               
回复 支持 反对

使用道具 举报

发表于 2025-4-28 05:20 | 显示全部楼层
本帖最后由 yangchuanju 于 2025-4-28 05:39 编辑

对1楼命题的第5-8种变形式不再分析;
对4-5楼命题的8种变形式不再分析;
对将t^2换成m^2*t^2的变形式不再分析,因为第一类命题中的t内含诸多二合数、三合数,将t换成mt没有任何价值!
回复 支持 反对

使用道具 举报

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

本版积分规则

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

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

GMT+8, 2025-7-24 06:36 , Processed in 0.091506 second(s), 15 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代码输入: