Definition:Bimedial/First Bimedial

Definition
Let $a, b \in \R_{>0}$ be 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

 * Construction of Components of First Bimedial


 * First Bimedial is Irrational