|
本帖最后由 yangchuanju 于 2025-4-25 14:16 编辑
22楼命题是一个真正的证明题,证明如下:
令b=-a^2,当a<0时命题1为-a^5*c-2a^7+a^5*c-a^3*c+a^6=-a^3,-2a^7+a^6+a^3=a^3*c,-c=(2a^4-a^3-1);
令b=-a^2,当a>0时命题1为-a^5*c-2a^7+a^5*c-a^3*c-a^6= a^3,-2a^7-a^6-a^3=a^3*c,-c=(2a^4+a^3+1);
令b=-a^2,当a<0时命题2为-a^5*c-2a^7+a^5*c-a^3*c-a^6=-a^3,-2a^7-a^6+a^3=a^3*c,-c=(2a^4+a^3-1);
令b=-a^2,当a>0时命题2为-a^5*c-2a^7+a^5*c-a^3*c+a^6= a^3,-2a^7+a^6-a^3=a^3*c,-c=(2a^4-a^3+1)。
经推导和约分,c都仅是a的函数式,只要a是整数即可,不用分正整数和负整数,也不用分素数和合数,都有t=m^3;
若加上限制条件,t的最小素因子和中的素因子都是m,m=|a|,则a只能取素数(包括2)了!
若再加上t不能是3的倍数数,不能是5的倍数数,那么a只能取±7,11,13,17,19,23,29……了!然而a不能取77呀!
a b 命题1之-c 命题2之-c
-20 -400 327999 311999
-19 -361 267500 253782
-18 -324 215783 204119
-17 -289 171954 162128
-16 -256 135167 126975
-15 -225 104624 97874
-14 -196 79575 74087
-13 -169 59318 54924
-12 -144 43199 39743
-11 -121 30612 27950
-10 -100 20999 18999
-9 -81 13850 12392
-8 -64 8703 7679
-7 -49 5144 4458
-6 -36 2807 2375
-5 -25 1374 1124
-4 -16 575 447
-3 -9 188 134
-2 -4 39 23
-1 -1 2 0
1 -1 4 2
2 -4 41 25
3 -9 190 136
4 -16 577 449
5 -25 1376 1126
6 -36 2809 2377
7 -49 5146 4460
8 -64 8705 7681
9 -81 13852 12394
10 -100 21001 19001
11 -121 30614 27952
12 -144 43201 39745
13 -169 59320 54926
14 -196 79577 74089
15 -225 104626 97876
16 -256 135169 126977
17 -289 171956 162130
18 -324 215785 204121
19 -361 267502 253784
20 -400 328001 312001
|
|