令formula_14是此方程的最小解<br>易知formula_15是偶数，从得formula_16是偶数<br>⇒formula_17 <br>和formula_14是此方程的最小解矛盾，故无正整数解 <br>⇒从得formula_11是无理数<br>