\begin{definition}[Definition:Medial Area]
A '''medial area''' is an area which is equal to the square on a medial straight line.
Thus an area $A$ is '''medial''' {{iff}} it is of the form:
:$A = \rho^2 \sqrt k$
where:
: $\rho$ is a rational number
: $k$ is a rational number whose square root is irrational.
{{:Euclid:Proposition/X/23/Porism}}
\end{definition}