可是看到里面吹牛皮，多厉害多厉害，也动了争竞之心。

42届IMO的第二题：

2. a,b,c是正实数，设a' = sqrt((a2 + 8bc)), b' = sqrt(b2 + 8ca), c' = sqrt(c2 + 8ab)，
求证： a/a' + b/b' + c/c' ≥ 1。
sqrt是开平方。

说一美国选手如何如何证得简洁，一时技痒，结果找到了更加漂亮的方法，
计算上及其简单。
也顺便找到了此类问题的一般性技巧，这是我以前所没有认识到的。
以后可以传给儿子，我发现加拿大数学竞赛特别喜欢这类题目（三元的循环式的），
几乎年年一题，呵呵。