0 = x⁴ - 2y⁴ - x²y² - 4x² - 7y² - 5
= (x⁴ + x²y² + x²) - (2x²y² + 2y⁴ + 2y²) - (5x² + 5y² + 5)
= x²(x² + y² + 1) - 2y²(x² + y² + 1) - 5(x² + y² + 1)
= (x² - 2y² - 5)(x² + y² + 1)
<=> x² - 2y² - 5 = 0
<=> x² - 5 = 2y²
Đến đây thấy rằng x² - 5 chẵn => x = 2a + 1 => x² - 5 = 4a² + 4a - 4
=> 2a² + 2a - 2 = y² => y = 2b => a² + a - 1 = 2b² <=> a(a + 1) = 2b² + 1
Do a(a + 1) luôn là số nguyên chẵn (vì a và a + 1 là 2 số nguyên liên tiếp) mà 2b² + 1 luôn lẻ => pt không có nghiệm nguyên
--------… ∆ ∠ ∡ √ ∛ ∜ x² ⁻¹ ∫ π × ∵ ∴ | | , ⊥,∈∝ ≤ ≥− ± , ÷ ° ≠ → ∞, ≡ , ≅ , ∑,∪,¼ , ½ , ¾ , ≈ , [-b ± √(b² - 4ac) ] / 2a Σ Φ Ω α β γ δ ε η θ λ μ π ρ σ τ φ ω ё й½ ⅓ ⅔ ¼ ⁰ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ ⁺ ⁻ ⁼ ⁽ ⁾ ⁿ ₁ ₂ ₃₄₅ ₆ ₇ ₈ ₉ ₊ ₋ ₌ ₍ ₎ ∊ ∧ ∏ ∑ ∠ ,∫ ∫ ψ ω Π∮ ∯ ∰ ∇ ∂ • ⇒ ♠ ★ ✰
