City Zhautykov 2025 Grade 8 Problem 1

What is the smallest positive integer value that can be taken by $$95a^2 + 80ab + 20b^2$$ for integers $a, b$?

import Mathlib.Data.Int.Basic
import Mathlib.Order.Bounds.Defs

def answer : ℤ := sorry

theorem solution : IsLeast { x > 0 | ∃ a b, x = 95 * a ^ 2 + 80 * a * b + 20 * b ^ 2} answer := sorry

Submit Solution

Login to submit a solution.

Recent Submissions