Qualquer que seja a proporção, o produto dos extremos é igual ao produto dos meios. Assim sendo, dados os números a, b, c e d, todos diferentes de zero e formando nesta ordem uma proporção, então o produto de a por d será igual ao produto de b por c:
