1 ( , ) a a proporcionalan je paru 1 ( , ) b b i to zapisujemo ovako: 1 1 : : a a b b , ako je:
xOy = 90 o
OA = a , OA 1 = a 1
OB = b , OB 1 = b 1
AB A 1 B 1
TEOREMA 1. Ako je a : a 1 = b : b 1 , tada je: (a) b : b 1 = a : a 1 ; (b) a 1 : a = b 1 : b ; (c) b 1 : b = a 1 : a .
TEOREMA 2. Ako je a : a 1 = b : b 1 i a 1 : a 2 = b 1 : b 2 , tada je a : a 2 = b : b 2 . Dokaz. a : a 1 = b : b 1 AB A 1 B 1
a 1 : a 2 = b 1 : b 2 A 1 B 1 A 2 B 2
AB A 2 B 2
a : a 2 = b : b 2
TEOREMA 3. Ako je a = b i a 1 = b 1 , tada je a : a 1 = b : b 1 .
Dokaz. Kako je a = b sledi da je trougao OAB jednakokraki. Isto tako, iz toga da je a 1 = b 1
sledi da je trougao OA 1 B 1 jednakokraki. Iz prethodnog sledi da je OAB = OA 1 B 1 = 45 o . Poto trougao OAB i trougao OA 1 B 1 imaju tri podudarna ugla, sledi da su ta dva trougla slina pa je samim tim AB A 1 B 1 . Na osnovu definicije proporcionalnosti dui sledi da je a : a 2 = b : b 2
TEOREMA 4. Ako je a : a 1 = b : b 1 i a : a 1 = b : b 2 , tada je b 1 = b 2 .
Dokaz. Neka je OA = a, OA 1 = a 1 , OB = b, OB 1 = b 1 , OB 2 = b 2
Kako je a : a 1 = b : b 1 , sledi da je A 1 B 1 AB. Isto tako, poto je a : a 1 = b : b 2
imamo da je A 1 B 2 AB. Na osnovu aksiome paralelnosti sledi da je A 1 B 1 A 1 B 2 , tj. B 1 B 2 to znai da je b 1 b 2