Proportion ( latin proportio "proportionalitet, ligehed af dele; et bestemt forhold mellem dele til hinanden") er ligheden mellem forholdet mellem to [eller flere] par tal og , dvs. lighed af formen , eller i andre notationer, lighed (læses ofte som: " gælder på samme måde som det gælder "). I dette tilfælde, og kaldes ekstreme , og - gennemsnitlige medlemmer af andelen. Denne andel kaldes også geometrisk , ikke at forveksle med aritmetiske og harmoniske proportioner ..
Vi vil bevise for tilføjelse. Vi udtrykker gennem de resterende vilkår for andelen: . Derefter:
For subtraktion er beviset det samme. ■
Den første kendte definition af lige proportioner blev givet som en lighed af successive subtraktioner [1] , i moderne sprog kan dette udtrykkes som en lighed af fortsatte brøker for størrelsesforhold. [2] Senere forenklede Eudoxus af Cnidus definitionen, proportionernes lighed blev defineret af ham som den samtidige opfyldelse af et af de tre par af forhold.
for ethvert par naturlige tal og . Denne definition er givet i Euklids elementer .
Med fremkomsten af reelle tal var der ikke behov for en særlig teori om proportioner; gamle matematikere betragtede ikke længdeproportionerne som tal. Definitionen af Eudoxus, givet i en noget mere abstrakt form, blev brugt senere i Dedekinds definition af reelle tal i form af nedskæringer .
Ligheden mellem to forskelle kaldes undertiden en aritmetisk proportion [3] .
Hvis den geometriske proportion har de midterste elementer ens, og den sidste er forskellen mellem den første og den midterste, kaldes en sådan proportion harmonisk :. I dette tilfælde kaldes nedbrydningen til summen af to led for harmonisk division eller det gyldne snit [4] .
Indholdet af opgaven for en simpel tredobbelt regel omfatter to størrelser relateret af en proportional afhængighed, mens to værdier af en mængde og en af de tilsvarende værdier af den anden mængde er givet, men det er kræves for at finde dens anden værdi.
Opgaver for en kompleks tredobbelt regel kaldes opgaver, hvor det for en serie af flere (mere end to) proportionale mængder er påkrævet at finde værdien af en af dem svarende til en anden serie af givne mængder værdier [5] [6] .