MathDB
This expression is an integer

Source: Nordic MO 2012 Q1

April 21, 2013
algebra unsolvedalgebra

Problem Statement

The real numbers a,b,ca, b, c are such that a2+b2=2c2a^2 + b^2 = 2c^2, and also such that ab,ca,cba \ne b, c \ne -a, c \ne -b. Show that (a+b+2c)(2a2b2c2)(ab)(a+c)(b+c)\frac{(a+b+2c)(2a^2-b^2-c^2)}{(a-b)(a+c)(b+c)} is an integer.