应用Fermat下降法，证明了不定方程x^4-y^4=z^2 and x^4＋4y^4=z^2在Q（√-3）没有非平凡解，它表Fermat方程当n=4时在此域中仍然没有非平凡......