| 
 
| 既然有勾股定理,为何还有《毕达哥拉斯定理》,既然菜农才知有“毕达哥拉斯”其人, 菜农为何不敢在有人证明:《菜农三角命题》的命题正确后将其升任《菜农三角定理》呢???
 
 和《菜农星期公式》一样,菜农再霸道一次,将《菜农三角命题》升任《菜农三角定理》
 
 参见网友对《菜农三角命题》的论证:https://bbs.21ic.com/icview-147075-1-1.html
 
 19楼:hotpower发表于 2009-12-6 00:33
 
 
 
 | 俺不会再做噩梦了~~~ | 本帖最后由 hotpower 于 2009-12-6 01:25 编辑 
 衷心感谢icmap!!!您为菜农指明了前进的方向,俺不会再做噩梦了~~~
 
 icmap网友能否提供链接???谢谢!!!
 菜农实际被“阶级敌人的”“伪命题”气恼了~~~
 当有人为菜农提出一组“勾股数”时心跳加速~~~
 因为这个命题是“广义域陷门三角密码的基石,它垮塌了,菜农真要吐血了!!!”
 
 真心感谢icmap!!!从今天起,菜农不再会被此“伪命题”所烦恼了!!!
 “跪谢”之~~~
 
 
 
 18# icmap
 
 网上早已有更准确的描述和证明:(将描述的内容演算即可证明描述的正确性)
 
 1:大于1的任意奇数2n+1(n>0),都可以构成一组勾股数,其三边分别是2n+1、2(n^2)+2n、2(n^2)+2n+1,
 
 2:大于2的任意偶数2n(n>1),都可以构成一组勾股数,三边分别是:2n、n^2-1、n^2+1
 
 
 可改写为:
 1:大于等于3的任意奇数2n+1(n>=1),都可以构成一组勾股数,其三边分别是2n+1、2(n^2)+2n、2(n^2)+2n+1,
 
 2:大于等于4的任意偶数2n(n>=2),都可以构成一组勾股数,三边分别是:2n、n^2-1、n^2+1
 
 或写成菜农对该式的理解:
 1:任意奇数(n>=3),都可以构成一组勾股数,其三边分别是n、(n^2)/2、((n^2)/2)+1,(n=3,5,7...)
 
 2:任意偶数(n>=4),都可以构成一组勾股数,三边分别是:n、((n/2)^2)-1、((n/2)^2)+1,(n=4,6,8,...)
 
 
 根据icmap网友提供的勾股数看,菜农的命题是“真命题”:
 
 菜农三角命题(菜农三角定理)
 在任意直角三角形中,当短直角边边长为整数且大于等于3时,
 必存在一对边长差值为1或2的整数长直角边和斜边。
 当短直角边边长为奇数时,差值为1,为偶数时,差值为2.
 
 菜农三角命题(菜农三角定理)的简易实现方法口诀:
 “当直角边a(>=3)为奇数时,另1直角边b为a平方砍半取整,斜边比b大1”
 “当直角边a(>=3)为偶数时,另1直角边b为a砍半平方减1,斜边比b大2”
 
 菜农三角命题(菜农三角定理)算式:
 当a为奇数时,b为a平方砍半取整,c比b大1。、
 即 b=((a^2)/2). c=b+1.
 
 当a为偶数时,b为a砍半平方小1,c比b大2。
 即 b=(a/2)^2-1. c=b+2.
 
 其中:^表示平方。
 
 菜农在感谢icmap网友的同时,对
 “网上早已有更准确的描述和证明”中的“更准确的描述”有些异议:
 
 1.菜农的命题很简洁(个人认为)
 2.口诀及算式全部符合编程习惯,2n或2n+1是数学对偶数和奇数的表述。
 而菜农是根据编程习惯给出了n,编程肯定是这样的:
 if (n & 1) 奇数n...
 else 偶数n...
 
 而非2n及2n+1.
 
 菜农命题既然被网友证明有同样的表述,即菜农命题也是真命题。
 依据数学惯例:“经过证明被确认正确的命题叫做定理”
 故菜农自己将“菜农三角命题”升任为“菜农三角定理”。
 
 | 
 
 
 
 |  |  |  |  |  |  | 
 | 
 |