定义不严,应该是没有标准的分解式,能够分解的时候与不能分解的时候没有明显的规律
a^4 + b^4 + c^4 + d^4 - 4*a*b*c*d与梅森素数一样2^p-1,p为素数.既有合数,也有素数,不存在标准分解式,或显示分解式
a^4 + b^4 + c^4 + d^4 - 4*a*b*c*d倒是验证了好几个数,如果是合数,始终有3这个因子存在,
找一找,有没有不含3这个因子的合数
不能主观想当然,其它任何数都会出现,武断下结论是最可怕的
1^4+2^4+7^4+13^4-4*1*2*7*13=30251=13^2*179 如果`a^4+b^4+c^4+d^4-4abcd`是可以因式分解的,那么相应的四维四次曲面`a^4+b^4+c^4+d^4-4abcd=0`就是退化的,从而曲面在二维平面`aob`上的截线`a^4+b^4=0`也是退化的, 并且退化各支是整系数的。
但是`a^4+b^4=(a^2-\sqrt2ab+b^2)(a^2+\sqrt2ab+b^2)`,可见两个退化分支并不是整系数的。
换言之,如果`a^4+b^4+c^4+d^4-4abcd`是可分解的。那么取`c=d=0`可得`a^4+b^4`亦是可分解的,但由`a^4+b^4=(a^2-\sqrt2ab+b^2)(a^2+\sqrt2ab+b^2)`可知其在整数环上不可分解。 如果这个式子能分解,取c=d=0时的a^4+b^4应该也能分解,所以就算能分解也肯定只有两个无理系数的二次多项式(a^2+根号2ab+b^2+...)*(a^2-根号2ab+b^2+...)
而只有d=0的时候,c^4必须在两边有c^2项,结果多了2a^2c^2和2b^2c^2,两边必须有bc和ac,且系数相反才不会有a^3c这样的结果,所以系数都是正负根号2,因为只可能含有二次项,所以产生的a^2bc,ab^2c,abc^2没法再消掉,不能分解了,像a^3+b^3+c^3-3abc就可以,因为a^3+b^3=(a+b)(a^2-ab+b^2),把c加到左边之后,右边正好可以试出来有结果 化成基本对称多项式可以证明无法分解,但是很复杂
页:
1
[2]