Definition:That which produces Medial Whole with Medial Area

Definition
Let $a, b \in \R_{>0}$ be in the forms:
 * $a = \dfrac {\rho \lambda^{1/4} } {\sqrt 2} \sqrt {1 + \dfrac k {\sqrt {1 + k^2} } }$
 * $b = \dfrac {\rho \lambda^{1/4} } {\sqrt 2} \sqrt {1 - \dfrac k {\sqrt {1 + k^2} } }$

where:
 * $\rho$ is a rational number
 * $k$ is a rational number whose square root is irrational
 * $\lambda$ is a rational number whose square root is irrational.

Then $a - b$ is that which produces a medial whole with a medial area.

Also known as
This can also be described as that which produces with a medial area a medial whole.

And in answer to your next question: no, there isn't.

Also see

 * That which produces Medial Whole with Medial Area is Irrational


 * Definition:Side of Sum of Medial Areas


 * Definition:Medial