Si tres rectas son proporcionales, el rectángulo comprendido por las extremas es igual al cuadrado de la media; y si el rectángulo comprendido por las extremas es igual al cuadrado de la media, las tres rectas serán proporcionales.