B. Kazakhstan 2020 Problem 1
Find all positive integer pairs $(m, n)$ such that $n^4$ divides $2m^5 - 1$ and $m^4$ divides $2n^5 + 1$.
import Mathlib.Algebra.Group.Int.Defs
import Mathlib.Data.Set.Defs
def answer : Set (ℤ × ℤ) := sorry
theorem solution (m n : ℤ) (hm : 0 < m) (hn : 0 < n) :
n ^ 4 ∣ 2 * m ^ 5 - 1 ∧ m ^ 4 ∣ 2 * n ^ 5 + 1 ↔ (m, n) ∈ answer := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 324 | Iván Renison | 2026-03-02T18:13 | Bad answer |
| 315 | Kitsune | 2026-03-01T07:33 | PASSED |