(a+b+c)^2=a^2+b^2+c^2+2*a*b+2*a*c+2*b*c // формулы сокращенного умножения
2(a+c)(c+b)=2(a*b+a*b+b*c+c^2) //теперь обе части совместим
a^2+b^2+c^2+2*a*b+2*a*c+2*b*c =2(a*b+a*b+b*c+c^2) //сокращаю подобные
a^2+b^2+c^2=2*с^2
a^2+b^2=c^2 //а это уже нам известно из теоремы пифагора для прямоугольного треугольника,следовательно выражение верно