Suhde ( latinaksi proportio "osien suhteellisuus, tasaisuus; tietty osien suhde toisiinsa") on kahden [tai useamman] lukuparin suhteiden yhtäläisyys ja ts . muodon yhtäläisyys tai muissa merkinnöissä tasa -arvo (luetaan usein seuraavasti: " koskee samalla tavalla kuin se koskee "). Tässä tapauksessa ja niitä kutsutaan äärimmäisiksi ja - keskimääräisiksi osuuden jäseniksi . Tätä suhdetta kutsutaan myös geometriseksi , eikä sitä pidä sekoittaa aritmeettisiin ja harmonisiin mittasuhteisiin .
Todistamme lisäyksenä. Ilmaisemme osuuden jäljellä olevien ehtojen kautta: . Sitten:
Vähennyksen osalta todistus on samanlainen. ■
Ensimmäinen tunnettu yhtäläisyyden määritelmä annettiin peräkkäisten vähennyslaskujen yhtälönä [1] , nykykielellä tämä voidaan ilmaista jatkuvien murtolukujen yhtälönä suuruussuhteille. [2] Myöhemmin Eudoxus of Cnidus yksinkertaisti määritelmää, hän määritteli suhteiden tasa-arvon yhden kolmesta suhdeparista samanaikaiseksi täyttymykseksi.
mille tahansa luonnollisten lukujen parille ja . Tämä määritelmä on annettu kirjassa Euclid's Elements .
Reaalilukujen ilmaantumisen myötä ei ollut tarvetta erityiselle mittasuhteiden teorialle, muinaiset matemaatikot eivät pitäneet pituuden suhteita lukuina. Eudoxuksen määritelmää, joka on annettu hieman abstraktimmassa muodossa, käytettiin myöhemmin Dedekindin reaalilukumääritelmässä leikkauksina .
Kahden eron yhtäläisyyttä kutsutaan joskus aritmeettiseksi suhteeksi [3] .
Jos geometrisessa suhteessa on keskimmäiset jäsenet yhtä suuret ja viimeinen on ero ensimmäisen ja keskimmäisen välillä, tällaista suhdetta kutsutaan harmoniseksi :. Tässä tapauksessa hajoamista kahden termin summaksi kutsutaan harmoniseksi jakoksi tai kultaleikkaukseksi [4] .
Yksinkertaisen kolmoissäännön tehtävän sisältö sisältää kaksi suhteellisella riippuvuudella toisiinsa liittyvää määrää, kun taas yhden suuren kaksi arvoa ja toisen suuren yksi vastaavista arvoista on annettu, mutta se on tarvitaan sen toisen arvon löytämiseen.
Monimutkaisen kolmoissäännön tehtäviä kutsutaan tehtäviksi, joissa useiden (useampien) suhteellisten suureiden sarjalle on löydettävä niistä yhden arvo, joka vastaa toista annettujen suureiden arvojen sarjaa [5] [6] .