用三角代换简证一道西班牙竞赛题及其变式

例1（第31届西班牙数学奥林匹克试题）已知（x＋√x^2＋1）（y＋√y^2＋1）=1,求证：x＋y=0。笔者也曾关注过这道西班牙竞赛题,并查阅了关于此题的一些解法,最近又看到贵刊也谈及此题,更激起了笔者的兴趣,经过研究,笔者发现用三角代换可证明此竞赛题及其变式,现给出解法与大家一起探讨。