Si M es el punto medio de AB y C un punto en ese segmento, el rectángulo verde más el cuadrado rojo es igual al cuadrado de lado MB.
Corolario:
El rectángulo verde es máximo cuando colocamos C en M, es decir, si C no coincide con M el rectángulo verde es menor que el cuadrado sobre MB, y 4 veces el rectángulo verde es menor que el cuadrado sobre AB.
Este corolario no aparece en Euclides, pero es usado por Apolonio.