Problem

Source: Nordic MO 2012 Q1

Tags: algebra unsolved, algebra



The real numbers $a, b, c$ are such that $a^2 + b^2 = 2c^2$, and also such that $a \ne b, c \ne -a, c \ne -b$. Show that \[\frac{(a+b+2c)(2a^2-b^2-c^2)}{(a-b)(a+c)(b+c)}\] is an integer.