Az arányosság ( latin proportio „részek arányossága, egyenletessége; a részek bizonyos aránya egymáshoz képest”) két [vagy több] számpár arányának egyenlősége és , azaz a forma egyenlősége , vagy más jelölésekkel egyenlőség (gyakran így olvasható: „ ugyanúgy vonatkozik rá , mint a ”-ra). Ebben az esetben és az arány szélső , és - átlagos tagjait nevezzük . Ezt az arányt geometriainak is nevezik , nem tévesztendő össze az aritmetikai és a harmonikus arányokkal .
Hozzáadásul bebizonyítjuk. Az arány fennmaradó tagjain keresztül fejezzük ki: . Akkor:
A kivonásnál a bizonyítás hasonló. ■
Az egyenlő arányok első ismert definícióját az egymást követő kivonások egyenlőségeként adták meg [1] , a mai nyelven ez a nagyságarányok folytonos törtek egyenlőségeként fejezhető ki . [2] Később Cnidus Eudoxus leegyszerűsítette a definíciót, az arányok egyenlőségét a három aránypár egyikének egyidejű teljesüléseként határozta meg.
bármely természetes számpárra és . Ezt a definíciót az Euklidész Elemek című könyve tartalmazza .
A valós számok megjelenésével nem volt szükség speciális arányelméletre, az ókori matematikusok a hosszúság arányait nem tekintették számoknak. Az Eudoxus valamivel elvontabb formában megadott definícióját később Dedekind a valós számok vágási definíciójában használták .
Két különbség egyenlőségét néha számtani aránynak is nevezik [3] .
Ha a geometriai arányban a középső tagok egyenlőek, az utolsó pedig az első és a középső közötti különbség, akkor ezt az arányt harmonikusnak nevezzük . Ebben az esetben a két tag összegére történő bontást harmonikus osztásnak vagy aranymetszetnek nevezzük [4] .
Az egyszerű hármasszabályra vonatkozó feladat tartalma két arányos függéssel összefüggő mennyiséget tartalmaz, míg az egyik mennyiségnek két értéke, a másik mennyiségnek pedig a megfelelő értékeinek egyike adott, de ez második értékének megtalálásához.
Az összetett hármasszabályra vonatkozó feladatokat olyan feladatoknak nevezzük, amelyekben több (kettőnél több) arányos mennyiség sorozatához meg kell találni az egyik értékét, amely megfelel adott mennyiségek egy másik sorozatának [5] [6] .