DC, полученное в конце a=b является обязательным условием, при котором равенство a(a‑b)=(b+c)(a‑b) является верным. Это всего лишь его решение, здесь нет никакого парадокса
DC, да, сказано, а значит полученный ответ a=b не входит в область допустимых значений, указанных неравенством a>b, следовательно уравнение не имеет корней