F. Austria 2016 Problem 6

Let $a, b, c$ be integers such that $$\frac{ab}{c} + \frac{ac}{b} + \frac{bc}{a}$$ is an integer. Prove that each of the numbers $$\frac{ab}{c}, \frac{ac}{b}, \frac{bc}{a}$$ is an integer.

import Mathlib.Data.Nat.Basic
import Mathlib.Data.Rat.Init

theorem solution (a b c : ℤ) (h : ∃ n : ℤ, n = (a * b) / (c : ℚ) + (a * c) / b + (b * c) / a) :
    (∃ m : ℤ, m = (a * b) / (c : ℚ)) ∧
    (∃ k : ℤ, k = (a * c) / (b : ℚ)) ∧
    (∃ l : ℤ, l = (b * c) / (a : ℚ)) := sorry

Submit Solution

Login to submit a solution.

Recent Submissions

# User Time (UTC) Status
313 Kitsune 2026-03-01T06:37 PASSED
View all