в принципе, мысль интересная, можно попробовать в максиме факторизовать разность, вдруг что-то вылезет. но вообще говоря никаких следствий я там не вижу.
блин, фигня же, это просто возведённое в квадрат равенство сумм квадратов. ему удовлетворяют a=8, b=1, c=7, d=4. и отсюда никак равенство a=c не следует.
разумеется. но ничего нового в нём от этого не появилось. подставьте в него мои значения, а потом докажите, что 7=8 это будет сильный шаг на пути к лемме Маяковского.