MathDB
(a - b)/(a + b) is rational if a^3 + b^3 + c^3 - 3abc is rational

Source: 2015 VMEO IV Juniors 12.1 Vietnamese Mathematics e - Olympiad https://artofproblemsolving.com/community/c2463156_2015_vmeo_iv

September 15, 2021
rationalalgebra

Problem Statement

Given a set SR+S \subset R^+, SS \ne \emptyset such that for all a,b,cSa, b, c \in S (not necessarily distinct) then a3+b3+c33abca^3 + b^3 + c^3 - 3abc is rational number. Prove that for all a,bSa, b \in S then aba+b\frac{a - b}{a + b} is also rational.