• In ogni proporzione la differenza fra i primi due termini (quando è possibile eseguirla) sta al primo (o al secondo) termine come la differenza fra gli altri due termini sta al terzo (o al quarto) termine. 
  

Se a : b = c : d è una proporzione, allora anche (a-b) : a = (c-d) : c è una proporzione, e (a-b) : b = (c-d) : d è una proporzione.

Ad esempio, data la proporzione 5 : 2 = 10 : 4, anche 

• 3 : 2 = 6 : 4
• 3 : 5 = 6 : 10

• In ogni proporzione la differenza degli antecedenti (quando è possibile eseguirla) sta alla differenza tra i conseguenti come un antecedente sta al proprio conseguente. 
  

Se a : b = c : d è una proporzione, allora anche (a-c) : (b-d) = a : b è una proporzione, e (a-c) : (b-d) = c : d è una proporzione.

Ad esempio, data la proporzione 10 : 5 = 4 : 2, anche 

• (10 - 4) : (5 - 2) = 10 : 5, cioè 6 : 3 = 10 : 5
• (10 - 4) : (5 - 2) = 4 : 2, cioè 6 : 3 = 4 : 2