Beweis des \textit{Fermat}schen Satzes für die Exponenten 6 und 10. (Q1476397)

Zuerst wird gezeigt, daß eine Auflösung der Gleichungen \[ x^6+y^6=z^6, x_1^{10}+y_1^{10}=z_1^{10} \] auf eine solche der Gleichung: \[ t^2=(z^2\pm y^2)-(zy)^2 \] führt. Letztere ist aber nicht durch ganze rationale Zahlen zu befriedigen. Der Beweis hierzu ist dem von \textit{Fermat} nachgebildet, indem gezeigt wird, daß jede Auflösung eine weitere nach sich zöge, deren Zahlen kleiner sind.