Правильно.
Формулы надо окружать знаками $, а math сам подставится.




Насчёт Вольфрама: Константа остаётся константой, что только с ней не делай (почти). Там работают определённые алгоритмы и могут появляться коэффициенты в определённом виде, не влияющим на ответ. Ваш ответ вполне можно записать в виде

Вот в таком:

нельзя, так как некоторые решения пропадут. Здесь суть в чём: коэффициент при

должен принимать любые значения и не зависеть от других коэффициентов. Бывают уравнения, решения которых содержат, например, только положительные или взаимозависимые коэффициенты. Ваше не такое.