方程唯一解问题
智星论坛中一道题目:http://bbs.kinotown.com/thread-179197-1-1.html已知正数a,b,c,x,y,z满足:
${(ab-{abc^2}/{(a+b)^2}=xy-{xyz^2}/{(x+y)^2}),(bc-{a^2bc}/{(b+c)^2} =yz-{x^2yz}/{(y+z)^2}),(ca-{ab^2c}/{(c+a)^2}=zx-{xy^2z}/{(z+x)^2}) :}$
求证$x=a,y=b,z=c$
我试过用maxima用a=3,b=4,c=5代入，可以得到很多组解，但是的确只有一组是全正数的。 全对称方程啊
似乎应该有对称的结果 注意到，对于 $\forall a,b,c in RR^+$，
均存在以 $(a+b, b+c, c+a)$ 为边长的三角形，
看是否可据此转化为几何问题？:Q: 考虑替换？
apb = a + b
amb = ab
...
...
xpy = x + y
xmy = xy
...
,,,
然后处理下？ 题目也就是证明对于方程
${(xy(1-{z^2}/{(x+y)^2})=u),(yz(1-{x^2}/{(y+z)^2})=v),(zx(1-{y^2}/{(x+z)^2})=w) :}$
如果存在正数解，那么解是唯一的。
考虑到我们同时对x,y,z乘上常数k以后，方程形式没有什么变化，就是右边所有常系数乘上$k^2$
我们可以总是对x,y,z进行归一化使得$x+y+z=1$,而这时方程可以转化为
$x(1-{x^2}/{(1-x)^2})=v/u*z(1-{z^2}/{(1-z)^2})=v/w*y(1-{y^2}/{(1-y)^2})$并且$x+y+z=1,x>0,y>0,z>0$
上面方程可以化简为
${x(1-2x)}/{(1-x)^2}=v/u*{z(1-2z)}/{(1-z)^2}=v/w*{y(1-2y)}/{(1-y)^2}$并且$x+y+z=1,x>0,y>0,z>0$
下面添加函数$f(x)={x(1-2x)}/{(1-x)^2}$的图像
什么软件做的图？ 原帖由 无心人 于 2008-7-22 17:09 发表 http://bbs.emath.ac.cn/images/common/back.gif
什么软件做的图？
几何画板 :*-^
能找个免费软件作图么？
似乎maxima就可以画
不过需要什么GNU plot 不知道为什么，画上面的图几乎要死机。 你说maxima?
恐怕是水土不服
你有多余的机器么？
或者干脆弄一4000的Dell本本
带linux
还是linux适合研究
呵呵
页:
[1]
2