City Zhautykov 2023 Grade 8 Problem 3

Find all positive integer pairs $(x, y)$ such that $x ^ 3 = y ^ 2 + 1$.

import Mathlib.Data.Nat.Basic

def answer : Set (ℤ × ℤ) := sorry

theorem solution (x y : ℤ) (hx : 0 < x) (hy : 0 < y) : x ^ 3 = y ^ 2 + 1 ↔ (x, y) ∈ answer := sorry

Submit Solution

Login to submit a solution.

Recent Submissions