发一个最难的问题

lulijie

我的想法：
c=(a^2+b^2)/(1+ab)
a^2+b^2=c+a*b*c
b^2-a*c*b+a^2-c＝0
对于一元二次方程  X^2-a*c*X+a^2-c＝0
  b是它的一个根，设另一个根为x，那么
    x*b＝a^2-c
    x+b=a*c
1： a^2-c<0 ，可证明不可能。
    因为b>0,所以x<0，所以b>a*c.
    又因为  b=1/2*a*c+1/2*sqrt(a^2*c^2-4*a^2+4*c)
    其中 a^2*c^2-4*a^2+4*c=(a*c+2)^2-4*a*c-4-4*a^2+4*c=(a*c+2)^2-4*c*(a-1)-4-4*a^2<(a*c+2)^2
    所以b<1/2*a*c+1/2*(a*c+2)=a*c+1.
    因为b是整数，且 a*c<b<a*c+1，所以推出矛盾，原假设不成立。
2：同理b^2-c<0 ，可证明不可能。
3：a^2-c=0  ，那么c=a^2，显然是完全平方数。   可推出 a=k  ， b=k^3  ，c=k^2。
4 ：b^2-c=0  ，那么c=b^2，显然是完全平方数。   可推出 b=k  ， a=k^3  ，c=k^2。   
5： a^2-c>0 且 b^2-c >0  
    若假设a>b,那么应该推出      b=k^3  ，a=k(k^4-1)，c=k^2
  但如何推导呢，大家想想有什么办法？
-----------------------------------
     a=30 ，b=112 ， c=4  应该也属于第5种情况。

[ 本帖最后由 lulijie 于 2009-4-4 21:51 编辑 ]

yang_bigarm

原帖由 mo方。 于 2009-4-3 21:10 发表
无聊锕你。！

这个题目无聊吗？你知道这个题目的背景吗？严格说来，它不是数论的题目。

说一下这个题目的背景，在IMO（国际数学奥林匹克）50年的历史中，没有一个问题考倒过选手，
却有一个问题考倒了老师。按照惯例，一个题目拿出来，要各国的教练领队都做一遍，评选一下
看这个题目是否适合作为比赛题目。结果，天啊，当时没有一个教练能做出来，那可都是各国数学系
的顶尖高手啊。然而令人惊奇的是，却有几个选手能解出来，不可思议啊。

后来中国队的教练把这个问题带了回来，在一次会议上给与会的专家们做，据说当场的亲年数学家们
都束手无策，只有万哲先院士做出来了，由此可见这个问题的难度。
了。

Cielo

原帖由 yang_bigarm 于 2009-4-4 23:39 发表


这个题目无聊吗？你知道这个题目的背景吗？严格说来，它不是数论的题目。

说一下这个题目的背景，在IMO（国际数学奥林匹克）50年的历史中，没有一个问题考倒过选手，
却有一个问题考倒了老师。按照惯例，一个 ...

呵呵确实记得看到过这题，原来这么难啊！不过怎么做的我肯定不记得了，估计当时没仔细看证明

Atato

金眼睛厉害哈！

superacid

经典的无穷递降法