Condition for Incommensurability of Roots of Quadratic Equation

Theorem
Consider the quadratic equation:
 * $(1): \quad a x - x^2 = \dfrac {b^2} 4$

Then $x$ and $a - x$ are incommensurable $\sqrt {a^2 - b^2}$ and $a$ are incommensurable.

Proof
We have that:

Let:
 * $a \smile b$ denote that $a$ is incommensurable with $b$
 * $a \frown b$ denote that $a$ is commensurable with $b$.

Necessary Condition
Let $\paren {a - x} \smile x$.

From Incommensurability of Sum of Incommensurable Magnitudes:
 * $a \smile x$

From Magnitudes with Rational Ratio are Commensurable:
 * $x \frown 2 x$

So:

Sufficient Condition
Let $a \smile \sqrt {a^2 - b^2}$.

Then:

From Magnitudes with Rational Ratio are Commensurable:
 * $x \frown 2 x$

From Commensurable Magnitudes are Incommensurable with Same Magnitude:
 * $a \smile x$

From Incommensurability of Sum of Incommensurable Magnitudes:
 * $\paren {a - x} \smile x$