n を自然数とするとき、
　　p^n＋q^n＝1　　
を満たす正の有理数の組 (p,q) が存在するための必要かつ十分な条件は
　　n＝1 or 2　　
である、ということを証明し、それを解説してください。