Квадрат всегда больше или равен нуля нет смысла расписывать когда дискриминант больше нуля, а когда равен т.к. если дискриминант равен нулю, то просто √0 , а если больше нуля, то |a-3|, модуль тоже может раскрываться как 0 и мы не потеряем корни если запишем сразу для двух корней, просто когда дискриминант равен нулю, эти два корня схлопнутся в один.
Не важно как раскроется модуль, всё равно будет ±, поэтому модуль можно убрать.