设（a，b，c）是一组本原Pythagorean数组．运用初等数论方法证明了：如果（x，y，z）是方程a^x＋b^y=c^z的例外解，则必有（i）z〉2；（ii）max（x，y）〉z；（iii）z〉max（x／2，y／2）．......