| dc.description.abstract | Misalkan (a, b, c) merupakan tripe! pithagoras (TP), jika dipilih x = cla dan y = bla maka diperoleh titik (x, y) pada cabang kanan hiperbola satuan x2 - y2 = I. Dengan demikian sembarang TP dipandang berperan dalam menentukan titik-titik rasional dari hiperbola satuan yang disebut sudut pandang hiperbolik.
Dengan sudut pandang hiperbolik dipelajari sifat aljabar dari TP, terutama penghasil himpunan TP r,o
= {(a, b, c) [ a, b, CE Z; a, c > O; a2 + b2 = c2} yang dikenakan operasi biner (a1, b1 , c1) • (a2, b2, c2) =
(a1a2, b1c2 + b,c1, b1b2 + c1 c2), berupa semigrup TP. Dengan memodifikasi rumus persamaan parameter (RPP) TP primitif (a, b, c) = (2mn, n2 - 11,2, n2 + 1112), menjadi :
i) (a, b, c) = (2111n, n2 - 1112, n2 + m2), jika a genap
ii) (a, b, c) = (nm, (n2 - 1112)/2, (n2 + 1112)/2), jika a ganjil
maka ketunggalan faktorisasi dari TP primitif terbukti. Memfaktorisasi TP secara berulang, menukar posisi antara komponen pertama dan kedua (jika keduanya positif), dan mengganti TP yang dihasilkan dengan TP primitif Iainnya (dalam pengertian segitiga: menukar dengan segitiga kongruen Iainnya) maka diperoleh (3, 4, 5) sebagai penghasil dari TP.
Dengan mendefinisikan suatu relasi ekivalensi pada p maka semigrup TP dapat diubah menjadi grup
abelian TP yang isomorfis dengan grup rasional positifmelalui pemetaan (a,b,c)- ➔ (c+b) I a, (c + b)/a
E Q+ dan (a, b, c)- E g:,~. Bukti altematifRPP hasil modifikasi diperoleh berdasarkan pemetaan tersebut.
RPP menjamin jika a ;:, 3 mengandung sebanyak k faktor prima berbeda maka terdapat zk - 1 TP primitif berbeda (dengan komponen tengah positif) dengan a sebagai komponen pertama. | id |
