MathDB
Fractional part of the product of every two of them is 0.5

Source: Tuymaada 2009, Senior League, First Day, Problem 1

July 19, 2009
symmetryalgebrasystem of equationsalgebra unsolved

Problem Statement

Three real numbers are given. Fractional part of the product of every two of them is 12 1\over 2. Prove that these numbers are irrational. Proposed by A. Golovanov