MathDB
a=b+c+d-2\sqrt{bc+cd+db} if d=a+b+c+2\sqrt{ab+bc+ca}

Source: 5th QEDMO 2007 p3

November 9, 2020
algebra

Problem Statement

Let a,a, b,b, c,c, dd be four positive reals such that d=a+b+c+2ab+bc+ca.d=a+b+c+2\sqrt{ab+bc+ca}. Prove that a=b+c+d2bc+cd+db.a=b+c+d-2\sqrt{bc+cd+db}.
Darij Grinberg