Proportion ( latin proportio "proportionalitet, jämnhet av delar; ett visst förhållande mellan delar till varandra") är likheten mellan förhållandena mellan två [eller fler] par av tal och , dvs. likheten i formen , eller, i andra notationer, jämlikhet (läses ofta som: " gäller på samma sätt som det gäller "). I detta fall, och kallas extrema , och - genomsnittliga medlemmar av andelen. Denna proportion kallas också geometrisk , inte att förväxla med aritmetiska och harmoniska proportioner ..
Vi kommer att bevisa för tillägg. Vi uttrycker genom de återstående villkoren för andelen: . Sedan:
För subtraktion är beviset liknande. ■
Den första kända definitionen av lika proportioner gavs som en likhet av successiva subtraktioner [1] , i modernt språk kan detta uttryckas som en likhet av fortsatta bråk för storhetsförhållanden. [2] Senare förenklade Eudoxus av Cnidus definitionen, jämlikhet i proportioner definierades av honom som den samtidiga uppfyllelsen av ett av de tre paren av förhållanden
för alla par naturliga tal och . Denna definition ges i Euclid's Elements .
Med tillkomsten av reella tal fanns det inget behov av en speciell teori om proportioner, forntida matematiker betraktade inte proportionerna av längd som tal. Definitionen av Eudoxus, som ges i en något mer abstrakt form, användes senare i Dedekinds definition av reella tal i termer av nedskärningar .
Likheten mellan två skillnader kallas ibland en aritmetisk proportion [3] .
Om den geometriska proportionen har mittelementen lika, och den sista är skillnaden mellan den första och den mellersta, kallas en sådan proportion harmonisk :. I detta fall kallas nedbrytningen till summan av två termer för harmonisk division eller det gyllene snittet [4] .
Innehållet i uppgiften för en enkel trippelregel inkluderar två kvantiteter relaterade till ett proportionellt beroende, medan två värden av en kvantitet och ett av motsvarande värden för den andra kvantiteten är givna, men det är krävs för att hitta dess andra värde.
Uppgifter för en komplex trippelregel kallas uppgifter där det, för en serie med flera (mer än två) proportionella kvantiteter, krävs att hitta värdet av en av dem som motsvarar en annan serie av givna kvantitetsvärden [5] [6] .