Definition:Bimedial/First Bimedial

Definition
Let $a, b \in \R_{>0}$ in the forms:
 * $a = k^{1/4} \rho$
 * $b = k^{3/4} \rho$

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

Then $a + b$ is a first bimedial.

Also see

 * First Bimedial is Irrational