Propiedad fundamental de una proporción.

Sean a, b, c y d cuatro cantidades cualesquiera no nulas. a : b = c : d es una proporción si y sólo si el producto de los medios es igual al producto de los extremos. O sea,

a : b = c : d Û b · c = a · d