MathCastle
Proof WritingMediumPigeonhole and Extremal Arguments

Pigeonhole and Extremal Arguments · Medium problem

Descent for x2=5y2x^2 = 5y^2: if (x,y)(x, y) is an integer solution with x≠0x \ne 0, then 5∣x25 \mid x^2, so 5∣x5 \mid x; write x=5x1x = 5x_1. What equation do yy and x1x_1 satisfy?