Lihat sumber Pecahan tak tersederhanakan

'''Pecahan tak tersederhanakan''' ({{Lang-en|irreducible fraction}}) adalah [[pecahan]] dengan pembilang dan penyebutnya berupa [[bilangan bulat]] tetapi tidak mempunyai [[pembagi]] yang sama selain 1, dan juga selain −1 jika bilangannya negatif.<ref>{{SpringerEOM|title=Fraction|id=Fraction|first=S. A.|last=Stepanov}}</ref> Dengan kata lain, pecahan {{Math|{{sfrac|1=''a''|2=''b''}}}} dikatakan tak tersederhanakan jika dan hanya jika {{Math|''a''}} dan {{Math|''b''}} adalah [[Koprima (bilangan)|bilangan koprima]], dalam artian bahwa jika {{Math|''a''}} dan {{Math|''b''}} mempunyai [[faktor persekutuan terbesar]] dari 1.

Ada sebuah definisi ekuivalen yang terkadang berguna. Definisi tersebut mengatakan:
: Jika {{Math|''a''}} dan {{Math|''b''}} bilangan bulat, maka pecahan {{Math|{{sfrac|1=''a''|2=''b''}}}} dikatakan tak tersederhanakan jika dan hanya jika tiada pecahan {{Math|{{sfrac|1=''c''|2=''d''}}}} yang sama lainnya sehingga {{Math|{{!}}''c''{{!}} < {{!}}''a''{{!}}}} atau {{Math|{{!}}''d''{{!}} < {{!}}''b''{{!}}}}, dengan {{Math|{{!}}...{{!}}}} menyatakan notasi [[nilai mutlak]].{{sfnp|Scott|1844|page=74}} Dua pecahan {{Math|{{sfrac|1=''a''|2=''b''}}}} dan {{Math|{{sfrac|1=''c''|2=''d''}}}} dikatakan ''sama'' atau ''ekuivalen'' jika dan hanya jika {{Math|1=''ad'' = ''bc''}}.

Sebagai contoh, {{sfrac|1|4}}, {{sfrac|5|6}}, dan {{sfrac|−101|100}} adalah pecahan tak tersederhanakan. Sedangkan pecahan seperti {{sfrac|2|4}} adalah pecahan tersederhanakan karena nilainya sama dengan {{sfrac|1|2}}, dan pembilang dari {{sfrac|1|2}} lebih kecil dari pembilang {{sfrac|2|4}}.

Pecahan tersederhanakan dapat disederhanakan dengan membagi pembilang penyebut dengan faktor yang sama. Pecahan dapat disederhanakan lebih lagi hingga mencapai nilai terkecil jika pembilang dan penyebut dibagi dengan [[faktor persekutuan terbesar]] darinya.<ref>{{citation|title=Integers, Fractions, and Arithmetic: A Guide for Teachers|volume=10|series=MSRI mathematical circles library|first1=Judith D.|last1=Sally|first2=Paul J., Jr.|last2=Sally|author2-link=Paul Sally|publisher=[[American Mathematical Society]]|year=2012|isbn=9780821887981|contribution=9.1. Reducing a fraction to lowest terms|pages=131–134|url=https://books.google.com/books?id=Ntjq07-FA_IC&pg=PA131}}.</ref> Cara mencari faktor persekutuan terbesar darinya adalah dengan menggunakan [[algoritma Euklides]] atau [[faktorisasi prima]], dan algoritma Euklides adalah pemakaian yang paling umum karena metodenya dapat menyederhanakan pecahan dengan pembilang dan penyebutnya yang terlalu besar difaktorkan dengan mudah.<ref>{{citation|title=Learning Modern Algebra|series=Mathematical Association of America Textbooks|first1=Al|last1=Cuoco|first2=Joseph|last2=Rotman|publisher=[[Mathematical Association of America]]|year=2013|isbn=9781939512017|page=33|url=https://books.google.com/books?id=LelYGuQHResC&pg=PA33}}.</ref>

==Contoh==
Katakanlah {{Sfrac|120|90}} adalah pecahan yang ingin disederhanakan. Langkah pertama yang dilakukan adalah membagi pembilang dan penyebut dengan 10, karena merupakan faktor dari 120 dan 90. Langkah yang kedua adalah membaginya dengan 3, sehingga pecahan tersebut menjadi {{sfrac|4|3}}, sebuah pecahan yang tidak dapat disederhanakan karena 4 dan 3 tidak mempunyai faktor yang sama selain 1.

Pecahan tadi dapat disederhanakan hanya sekali dengan menggunakan [[faktor persekutuan terbesar]] dari 90 dan 120, yang hasilnya adalah 30. Saat {{nowrap|1=120 ÷ 30 = 4}}, dan {{nowrap|1=90 ÷ 30 = 3}}, maka didapati
:<math> \frac{120}{90}=\frac{4}{3}</math>

Metode yang lebih cepat "dengan menghitung manual" tergantung pada bentuk pecahan dan menemukan faktor terbesarnya dengan mudah. Akan tetapi, ketika penyebut dan pembilang masih terlalu besar, dan kemudian memeriksanya dengan pasti bahwa mereka adalah koprima, maka perhitungan melalui faktor persekutuan terbesar diperlukan agar pasti bahwa pecahannya sudah tidak dapat disederhanakan lagi.

==Ketunggalan==

Setiap [[bilangan rasional]] mempunyai representasi ''tunggal'' sebagai pecahan tak tersederhanakan dengan penyebutnya bernilai positif<ref name="unique">{{citation|title=Elements of Arithmetic and Algebra: For the Use of the Royal Military College|volume=1|series=College text books, Sandhurst. Royal Military College|first=William|last=Scott|publisher=Longman, Brown, Green, and Longmans|year=1844|page=75}}.</ref> (akan tetapi, {{sfrac|2|3}} = {{sfrac|−2|−3}} walaupun kedua pecahan tersebut sama-sama tidak dapat disederhanakan). Ketunggalan merupakan akibat dari [[Teorema dasar aritmetika|faktorisasi prima tunggal]] dari bilangan bulat, karena {{Math|1={{sfrac|''a''|''b''}} = {{sfrac|''c''|''d''}}}} menyiratkan {{Math|1=''ad = bc''}}. Demikian, kedua sisi pada persamaan terakhir harus membagi faktorisasi bilangan prima yang sama, tetapi {{Math|''a''}} dan {{Math|''b''}} tidak saling membagi faktor prima sehingga himpunan faktor prima dari {{Math|''a''}} (beserta kelipatannya) adalah subhimpunan dari himpunan faktor prima dari {{Math|''c''}}, dan begitupula sebaliknya. Hal ini mengartikan bahwa {{Math|1=''a'' = ''c''}}, dan berdasarkan argumen yang sama, {{Math|1=''b'' = ''d''}}.

==Penerapan==

Setiap bilangan rasional mempunyai representasi tunggal sebagai pecahan tak tersederhanakan mempunyai penerapan dalam berbagai [[Akar kuadrat dari 2#Bukti keirasionalan|bukti keirasionalan dari akar kuadrat dari 2]], serta [[bilangan irasional]] lainnya. Sebagai contoh, ketika ingin membuktikan bahwa {{sqrt|2}} dapat direpresentasikan sebagai perbandingan dari bilangan bulat, maka secara khusus menyederhanakan {{Math|{{sfrac|1=''a''|2=''b''}}}} sepenuhnya dengan {{Math|''a''}} dan {{Math|''b''}} kemungkinan merupakan nilai yang paling terkecil; tetapi karena {{Math|{{sfrac|1=''a''|2=''b''}}}} sama dengan {{sqrt|2}}. Begitupula untuk
:<math>\frac{2b-a}{a-b},</math>
yang memperlihatkan bahwa hasilnya sama ketika mengali-silang ekspresi tersebut dengan {{Math|{{sfrac|1=''a''|2=''b''}}}}. Karena {{math|''a''&nbsp;>&nbsp;''b''}} dan {{sqrt|2}} lebih besar dari 1, ekspresi yang terakhir merupakan perbandingan dari dua bilangan bulat yang lebih kecil. Bukti ini [[pembuktian melalui kontradiksi|kontradiksi]] dengan pernyataan yang mengatakan bahwa akar kuadrat dari dua mempunyai representasi sebagai perbandingan dari dua bilangan bulat.

==Perumuman==

Terdapat gagasan pecahan tak tersederhanakan yang memperumum ke [[lapangan pecahan]] dari sebarang [[domain faktorisasi tunggal]]. Gagasan itu mengatakan bahwa setiap unsur dari suatu medan dapat ditulis sebagai pecahan dengan penyebut dan pembilangnya adalah bilangan koprima dengan membaginya berdasarkan faktor persekutuan terbesar darinya.<ref>{{citation|title=Abstract Algebra|first=Paul B.|last=Garrett|publisher=CRC Press|year=2007|isbn=9781584886907|page=183|url=https://books.google.com/books?id=CZzSBQAAQBAJ&pg=PA183}}.</ref> Secara khusus, hal ini berlaku untuk [[Pecahan rasional|ekspresi bilangan rasional]] atas lapangan. Pecahan tak tersederhanakan untuk unsur yang diberikan hanya memiliki tepat satu buah perkalian dari penyebut dan pembilang dengan unsur terbalikkan yang sama. Dalam kasus bilangan rasional, ini mengartikan bahwa setiap bilangan mempunyai dua pecahan tak tersederhanakan, yang dikaitkan dengan mengubah tanda pada pembilang dan penyebut, serta keambiguan tersebut dapat dihilangkan dengan membuat penyebut menjadi bernilai positif. Dalam kasus fungsi rasional, penyebut pada pecahan dapat dilakukan dengan serupa, yaitu dengan membuatnya menjadi [[polinomial monik]].<ref>{{citation|title=Abstract Algebra|volume=242|series=Graduate Texts in Mathematics|first=Pierre Antoine|last=Grillet|publisher=Springer|year=2007|isbn=9780387715681|at=Lema 9.2, hlm.&nbsp;183|url=https://books.google.com/books?id=CZzSBQAAQBAJ&pg=PA183}}.</ref>

== Referensi ==
{{reflist}}

== Pranala luar ==

* {{MathWorld|title=Reduced Fraction|id=ReducedFraction}}

[[Kategori:Aritmetika dasar]]
[[Kategori:Pecahan (matematika)]]