Latvian National 2025 Grade 10 Problem 1
Do there exist integers $a, b, c, d$ such that
$$|a - b| + |b - c| + |c - d| + |d - a| = 2025?$$
import Mathlib.Algebra.Group.Int.Defs import Mathlib.Algebra.Order.Group.Unbundled.Abs def answer : Prop := sorry theorem solution : (∃ a b c d : ℤ, |a - b| + |b - c| + |c - d| + |d - a| = 2025) ↔ answer := sorry
Submit Solution
Login to submit a solution.
Recent Submissions
| # | User | Time (UTC) | Status |
|---|---|---|---|
| 238 | FelixMP | Long time ago | PASSED |
| 188 | PT1618 | Long time ago | Time limit exceeded |
| 187 | PT1618 | Long time ago | Compilation error |
| 186 | PT1618 | Long time ago | Compilation error |
| 167 | cwrv | Long time ago | PASSED |
| 163 | kappa | Long time ago | PASSED |
| 162 | Sul_A. | Long time ago | Bad answer |
| 161 | Sul_A. | Long time ago | Bad answer |
| 160 | Sul_A. | Long time ago | Forbidden axiom |
| 159 | Sul_A. | Long time ago | Forbidden axiom |