2. （a）设实数x，y，z 都不等于1，满足xyz＝1，求证：
x^2/(x-1)^2 + y^2/(y-1)^2 + z^2/(z-1)^2>=1
（b）证明：存在无穷多组三元有理数组（x，y，z），x，y，z 都不等于1，
且xyz＝1，使得上述不等式等号成立.