Az (1) kifejezés az $\left(x-y\right)/\sqrt[]{xy}$ kifejezésnek ‐ tehát feltevés szerint pozitív mennyiségnek ‐ a logaritmusa. A feltételezett egyenlőség így alakítható: ${\left(x-q\right)}^2=16xy$; eszerint kifejezésünk négyzete: ${\left(x-y\right)}^2/xy=16$, állandó, tehát bármilyen pozitív, $1$-től különböző alapra vonatkozó logaritmusa is állandó.