Antoine Arnauld,
Nouveaux élémens de géométrie…
(1683)
“ TOUTE Raison est d'égalité ou d'inégalité. On appelle Raison d'égalité quand l'antecedent est égal au consequent, comme la Raison de B à B, de 12 à 12, d'1 à 1; d'inégalité quand l'antecedent est plus grand ou plus petit que le consequent, comme la Raison de 8 à 11, ou de 12 à 8. ”
