Condition for Existence of Third Number Proportional to Two Numbers

Theorem

 * Given two numbers, to investigate whether it is possible to find a third proportional to them.