Lihat sumber Bentuk kuadrat biner

{{About|bentuk kuadrat biner dengan koefisien [[bilangan bulat]]|bentuk kuadrat biner dengan koefisien lain|bentuk kuadrat}}
{{more footnotes|date=Januari 2021}}
Dalam [[matematika]], '''bentuk kuadrat biner''' adalah kuadrat [[polinomial homogen]] dalam dua variabel

: <math> q(x,y)=ax^2+bxy+cy^2, \, </math>

di mana '' a '', '' b '', '' c '' adalah '''koefisien'''. Jika koefisien dapat berubah-ubah [[bilangan kompleks]], sebagian besar hasil tidak spesifik untuk kasus dua variabel, jadi hasil tersebut dijelaskan dalam [[bentuk kuadrat]]. Bentuk kuadrat dengan koefisien [[bilangan bulat]] disebut '''bentuk kuadrat biner integral''', sering disingkat menjadi '' bentuk kuadrat biner ''.

Artikel ini sepenuhnya dikhususkan untuk bentuk kuadrat biner integral. Pilihan ini dilatarbelakangi oleh status mereka sebagai pendorong di balik perkembangan [[teori bilangan aljabar]]. Sejak akhir abad kesembilan belas, bentuk kuadrat biner dalam teori bilangan aljabar ke [[bidang kuadrat|kuadrat]] dan [[bidang bilangan]] yang lebih umum, tetapi kemajuan khusus untuk bentuk kuadrat biner masih terjadi pada kesempatan tertentu.

Pierre Fermat menyatakan bahwa jika p adalah bilangan prima ganjil maka persamaannya <math>p = x^2 + y^2</math> memiliki solusi iff <math>p \equiv 1 \pmod{4}</math>, dan dia membuat pernyataan serupa tentang persamaan <math>p = x^2 + 2y^2</math>, <math>p = x^2 + 3y^2</math>, <math>p = x^2 - 2y^2</math> dan <math>p = x^2 - 3y^2</math>
<math>x^2 + y^2, x^2 + 2y^2, x^2 - 3y^2</math> dan seterusnya adalah bentuk kuadrat, dan teori bentuk kuadrat memberikan cara terpadu untuk melihat dan membuktikan teorema ini

Contoh lain dari bentuk kuadrat adalah [[Persamaan Pell]] <math>x^2-ny^2=1</math>

Bentuk kuadrat biner sangat erat kaitan ideal di bidang kuadrat, ini memungkinkan bilangan kelas dari bidang kuadrat untuk dihitung dengan menghitung jumlah bentuk kuadrat biner tereduksi dari diskriminan yang diberikan

Fungsi theta klasik dari 2 variabel adalah <math> \sum_{(m,n)\in \mathbb{Z}^2} q^{m^2 + n^2}</math>, jika <math>f(x,y)</math> adalah bentuk kuadrat pasti positif <math> \sum_{(m,n)\in \mathbb{Z}^2} q^{f(m,n)}</math> adalah fungsi theta

== Ekuivalen ==
Dua bentuk '' f '' dan '' g '' disebut '''ekuivalen''' jika terdapat bilangan bulat <math>\alpha, \beta, \gamma, \text{ dan } \delta</math> sehingga:

: <math>\begin{align} f(\alpha x + \beta y, \gamma x + \delta y) &= g(x,y),\\
                      \alpha \delta - \beta \gamma &= 1.\end{align}</math>

Misalnya, dengan <math>f= x^2 + 4xy + 2y^2</math> dan <math>\alpha = -3</math>, <math>\beta = 2</math>, <math>\gamma = 1</math>, dan <math>\delta = -1</math>, menemukan bahwa '' f '' adalah <math>g = (-3x+2y)^2 + 4(-3x+2y)(x-y)+2(x-y)^2</math>, yang disederhanakan menjadi <math>-x^2+4xy-2y^2</math>.

Kondisi ekivalensi di atas mendefinisikan [[relasi ekuivalen]] pada himpunan bentuk kuadrat integral. Oleh karena itu, bentuk kuadrat [[partisi dari himpunan|partisi]] diubah menjadi kelas kesetaraan, yang disebut '''kelas''' dari bentuk kuadrat. '''Kelas invarian''' dapat berarti fungsi yang didefinisikan pada kelas ekuivalen bentuk atau properti yang dimiliki oleh semua bentuk dalam kelas yang sama.

Lagrange menggunakan pengertian yang berbeda tentang kesetaraan, di mana kondisi kedua diganti dengan <math> \alpha \delta - \beta \gamma = \pm 1</math>.  Sejak Gauss telah diakui bahwa definisi ini lebih rendah dari yang diberikan di atas. Jika ada kebutuhan untuk membedakan, terkadang bentuk disebut '''ekuivalen riil''' menggunakan definisi di atas dan '''ekuivalen tidak semestinya''' jika setara dalam pengertian Lagrange.

Dalam terminologi [[matriks (matematika)|matriks]], yang kadang-kadang digunakan di bawah, maka

:  <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>

memiliki entri bilangan bulat dan determinan 1, peta <math> f(x,y) \mapsto f(\alpha x + \beta y, \gamma x + \delta y)</math> adalah (kanan) [[Tindakan grup (matematika)|tindakan grup]] dari <math>\mathrm{SL}_2(\mathbb{Z})</math> pada himpunan bentuk kuadrat biner. Relasi ekuivalensi di atas kemudian muncul dari teori umum aksi grup.

Jika <math>f=ax^2+bxy+cy^2</math>, kemudian invarian penting termasuk

* [[Diskriminan]] <math>\Delta=b^2-4ac</math>.
* Konten, sama dengan pembagi persekutuan terbesar dari '' a '', '' b '', dan '' c ''.

Terminologi telah muncul untuk mengklasifikasikan kelas dan bentuknya dalam istilah invariannya. Suatu bentuk diskriminan <math>\Delta</math> adalah '''definisi''' jika <math>\Delta < 0</math>, '''digenerasikan''' jika <math>\Delta</math> adalah kuadrat sempurna, dan '''tak hingga''' sebaliknya. Suatu bentuk dikatakan '''primitif''' jika isinya adalah 1, yaitu, jika koefisiennya koprima. Jika diskriminan suatu bentuk adalah [[diskriminan fundamental]], maka bentuk itu primitif.<ref>{{harvnb|Cohen|1993|loc=§5.2}}</ref> Discriminants satisfy <math>\Delta\equiv 0,1 \pmod 4. </math>

== Automorfisme ==
Jika '' f '' adalah bentuk kuadrat, berarti matriks

:  <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>

dalam <math>\mathrm{SL}_2(\mathbb{Z})</math> adalah '''automorfisme''' dari '' f '' jika <math>f(\alpha x + \beta y, \gamma x + \delta y) = f(x,y)</math>. Misalnya matriks

: <math> \begin{pmatrix} 3 & -4 \\ -2 & 3 \end{pmatrix} </math>

adalah automorfisme bentuk <math>f = x^2 - 2y^2</math>.  Automorfisme bentuk membentuk [[subgrup]] dari <math>\mathrm{SL}_2(\mathbb{Z})</math>.  Ketika '' f '' pasti, grupnya terbatas, dan ketika '' f '' tidak pasti, itu tak terbatas dan [[grup siklik|siklik]].

== Representasi ==
Bentuk kuadrat biner <math>q(x,y)</math> '''repsentasi''' bilangan bulat <math> n </math> jika dimungkinkan untuk bilangan bulat <math> x </math> dan <math> y </math> memiliki persamaan <math>n = f(x,y).</math>  Persamaan ini adalah '''representasi''' dari '' n '' oleh '' f ''.

=== Contoh ===
[[Diophantus]] mempertimbangkan apakah, untuk bilangan bulat ganjil <math> n </math>, adalah mungkin untuk menemukan bilangan bulat <math> x </math> dan <math> y </math> yang <math>n = x^2 + y^2</math>.<ref>{{harvnb|Weil|2001|p=30}}</ref> Saat <math> n=65 </math>, adalah
: <math>\begin{align} 65 &= 1^2 + 8^2,\\
                      65 &= 4^2 + 7^2,
\end{align} </math>

jadi relasi <math>(x,y) = (1,8) \text{ dan } (4,7)</math> yang berhasil. Kita mendapatkan lebih banyak pasangan yang bekerja dengan mengganti nilai <math> x </math> dan <math> y </math> atau dengan mengubah salah satu atau keduanya dari <math> x </math> dan <math> y </math>. Secara keseluruhan, ada enam belas pasangan solusi yang berbeda. Sebaliknya, jika <math> n=3 </math>, persamaannya

: <math>3=x^2 + y^2</math>

tidak memiliki solusi bilangan bulat. Untuk mengetahui alasannya, kami mencatat bahwa <math>x^2 \geq 4</math> kecuali <math>x = -1, 0</math> atau <math>1</math>. Jadi, <math>x^2+y^2</math> akan melebihi 3 kecuali <math>(x,y)</math> adalah salah satu dari sembilan pasangan dengan <math> x </math> dan <math> y </math> masing-masing sama dengan <math> -1, 0 </math> atau 1. Kita dapat memeriksa sembilan relasi ini secara langsung untuk melihat yang tidak <math>3 = x^2 + y^2</math>, jadi persamaan tersebut tidak memiliki solusi bilangan bulat.

Argumen serupa menunjukkan bahwa untuk setiap <math> n </math>, persamaan <math>n =x^2+y^2</math> hanya dapat memiliki sejumlah solusi terbatas maka <math>x^2+y^2</math> akan melebihi <math> n </math> kecuali nilai absolut <math> |x| </math> dan <math> |y| </math> keduanya kurang dari <math>\sqrt{n}</math>. Hanya ada sejumlah pasangan terbatas yang memenuhi batasan ini.

Masalah kuno lain yang melibatkan bentuk kuadrat meminta kita untuk menyelesaikannya [[Persamaan Pell]]. Misalnya, kita dapat mencari bilangan bulat '' x '' dan '' y '' sehingga <math>1 = x^2 - 2y^2</math>.  Mengubah tanda '' x '' dan '' y '' dalam suatu solusi memberikan solusi lain, jadi cukup mencari solusi saja dalam bilangan bulat positif. Salah satu solusinya adalah <math>(x,y) = (3,2)</math>, Artinya, persamaan <math>1 = 3^2 - 2 \cdot 2^2</math>. Jika <math>(x,y)</math> adalah solusi untuk <math>1 = x^2 - 2 y^2</math>, maka <math>(3x+4y,2x+3y)</math> adalah pasangan serupa lainnya. Misalnya, dari pasangan <math> (3,2) </math>, adalah

: <math>(3\cdot 3 + 4 \cdot 2, 2\cdot 3 + 3 \cdot 2) = (17,12)</math>,

dan <math>1 = 17^2 - 2 \cdot 12^2</math> mengulangi proses ini, kami menemukan relasi selanjutnya <math>(x,y)</math> dengan <math>1 = x^2 - 2y^2</math>:

: <math>\begin{align}
             (3 \cdot 17 + 4 \cdot 12, 2 \cdot 17 + 3 \cdot 12) &= (99,70),\\
             (3 \cdot 99 + 4 \cdot 70, 2 \cdot 99 + 3 \cdot 70) &= (477,408),\\
                                                                &\vdots \end{align}
</math> 
Nilai ini akan terus bertambah ukurannya, jadi kami melihat ada banyak cara yang tak terbatas untuk merepresentasikan 1 dengan bentuk <math>x^2 - 2y^2</math>. Deskripsi rekursif ini telah dibahas dalam komentar Theon dari Smyrna tentang [[Elemen Eklides]].

=== Masalah representasi ===
Masalah tertua dalam teori bentuk kuadrat biner adalah '''masalah representasi''': mendeskripsikan representasi dari bilangan tertentu <math> n </math> dengan bentuk kuadrat '' f ''. "Mendeskripsikan" dapat berarti berbagai hal: memberikan algoritma untuk menghasilkan semua representasi, rumus tertutup untuk jumlah representasi, atau bahkan hanya menentukan apakah representasi ada.

Contoh di atas membahas masalah representasi untuk angka 3 dan 65 dengan bentuk <math>x^2 + y^2</math> dan untuk angka 1 dengan bentuk <math>x^2 - 2y^2</math>. Bahwa 65 diwakili oleh <math>x^2 + y^2</math> dalam enam belas cara berbeda, sedangkan 1 diwakili oleh <math>x^2 - 2y^2</math> dalam banyak cara dan
3 tidak diwakili semua <math>x^2+y^2</math>. Dalam kasus pertama, enam belas representasi dijelaskan secara eksplisit. Bahwa jumlah representasi dari suatu bilangan bulat oleh <math>x^2+y^2</math> adalah hingga. [[Jumlah fungsi kuadrat]] <math> r_2 (n) </math> memberikan jumlah representasi '' n '' oleh <math>x^2+y^2</math> sebagai fungsi dari '' n ''. Rumus tertutup<ref>{{harvnb|Hardy|Wright|2008|loc=Thm. 278}}</ref>

: <math> r_2(n) = 4(d_1(n) - d_3(n)), </math>

dimana <math> d_1 (n) </math> adalah banyaknya [[pembagi]] dari '' n '' yang [[Aritmetika modular|kongruen]] sampai 1 modulo 4 dan <math> d_3(n) </math> adalah banyaknya pembagi dari '' n '' dari kongruen 3 dengan 4.

Ada beberapa invarian kelas yang relevan dengan masalah representasi:

* Himpunan bilangan bulat yang diwakili oleh kelas. Jika bilangan bulat '' n '' diwakili oleh formulir di kelas, maka itu diwakili oleh semua bentuk lain di kelas.
* Nilai absolut minimum yang diwakili oleh sebuah kelas. Ini adalah nilai nonnegatif terkecil dalam himpunan bilangan bulat yang diwakili oleh sebuah kelas.
* Kelas-kelas kesesuaian modulo diskriminan kelas yang diwakili oleh kelas.

Nilai absolut minimum yang diwakili oleh sebuah kelas adalah nol untuk kelas merosot dan positif untuk kelas-kelas tertentu dan tak-hingga. Semua angka diwakili oleh bentuk tertentu <math>f = ax^2 + bxy + cy^2</math> memiliki tanda yang sama: positif if <math> a>0 </math> dan negatif if <math> a<0 </math>. Untuk alasan ini, yang pertama disebut bentuk '''definisi positif''' dan yang terakhir disebut '''definisi negatif'''.

Jumlah representasi bilangan bulat '' n '' dengan bentuk '' f '' terbatas jika '' f '' pasti dan tak terbatas jika '' f '' tidak pasti. Kami melihat contohnya pada contoh di atas:  <math>x^2+y^2</math> positif dan <math>x^2 - 2y^2</math> tidak terbatas.

=== Representasi ekuivalen ===
Pengertian ekuivalen bentuk dapat diperluas menjadi '''representasi ekuivalen'''.  Representasi <math>m = f(x_1,y_1)</math> dan <math>n = g(x_2,y_2)</math> akuivalen jika matriks

: <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>

dengan entri integer dan determinan 1 sehingga <math>f(\alpha x + \beta y, \gamma x + \delta y) = g(x,y)</math> dan

: <math>\begin{pmatrix} \delta& -\beta \\ -\gamma & \alpha\end{pmatrix} \begin{pmatrix} x_1 \\ y_1 \end{pmatrix} = \begin{pmatrix} x_2 \\ y_2 \end{pmatrix}</math>

Kondisi di atas memberikan aksi (kanan) grup <math>\mathrm{SL}_2(\mathbb{Z})</math> pada himpunan representasi bilangan bulat dengan bentuk kuadrat biner. Oleh karena itu, persamaan yang didefinisikan dengan cara ini adalah hubungan kesetaraan dan khususnya bentuk-bentuk dalam representasi yang setara adalah bentuk-bentuk yang setara.

Sebagai contoh, misalkan <math>f = x^2 - 2y^2</math> dan pertimbangkan representasi <math>1 = f(x_1,y_1)</math>. Representasi semacam itu adalah solusi persamaan Pell yang dijelaskan dalam contoh di atas. Matriks

: <math> \begin{pmatrix} 3 & -4 \\ -2 & 3 \end{pmatrix} </math>

memiliki determinan 1 dan merupakan automorfisme dari '' f ''. Bertindak atas representasi <math>1 = f(x_1,y_1)</math> dengan matriks ini menghasilkan representasi yang setara <math>1 = f(3x_1 + 4y_1, 2x_1 + 3 y_1)</math>. Langkah rekursi dalam proses yang dijelaskan di atas untuk menghasilkan banyak solusi tak terhingga untuk <math>1 = x^2 - 2y^2</math>. Iterasi aksi matriks ini, kami menemukan bahwa himpunan representasi tak hingga dari 1 oleh '' f '' yang ditentukan di atas semuanya ekuivalen.

Secara umum ada banyak kelas ekivalen yang terbatas dari representasi integer '' n '' dengan bentuk diskriminan bukan nol yang diberikan <math>\Delta</math>. Seperangkat perwakilan lengkap untuk kelas-kelas ini dapat diberikan dalam istilah '' bentuk tereduksi '' yang ditentukan pada bagian di bawah ini. Saat <math>\Delta < 0</math>, setiap representasi setara dengan representasi unik dengan bentuk yang direduksi, sehingga satu set lengkap perwakilan diberikan oleh banyak representasi '' n '' yang tereduksi oleh bentuk diskrim yang dikurangi diskriminan <math>\Delta</math>. Maka <math>\Delta > 0</math>, Zagier membuktikan bahwa setiap representasi bilangan bulat positif '' n '' oleh bentuk diskriminan <math> \Delta </math> adalah setara dengan representasi unik <math> n = f (x, y) </math> di mana '' f '' dikurangi dalam pengertian Zagier dan <math>x > 0</math>, <math>y \geq 0</math>.<ref name="Zagier 1981 loc">{{harvnb|Zagier|1981|loc=}}</ref> Himpunan dari semua representasi tersebut merupakan himpunan lengkap perwakilan untuk kelas representasi kesetaraan.

== Pengurangan dan bilangan kelas<!--'Bilangan kelas (bentuk kuadrat biner)' dialihkan ke sini--> ==

Lagrange membuktikan bahwa untuk setiap nilai '' D '', hanya ada banyak kelas bentuk kuadrat biner dengan diskriminan '' D ''. Nomor mereka adalah '''{{vanchor|bilangan kelas}}'''<!--huruf tebal per WP:R#PLA--> diskriminan '' D ''. Dia menggambarkan sebuah algoritma, yang disebut '''reduksi''', untuk membangun perwakilan kanonik di setiap kelas, '''bentuk tereduksi''', yang koefisiennya paling kecil.

Gauss memberikan algoritme reduksi yang unggul dalam '' [[Disquisitiones Arithmeticae]] '', yang sejak saat itu menjadi algoritme reduksi yang paling umum diberikan di buku teks.  Pada tahun 1981, Zagier menerbitkan algoritma reduksi alternatif yang telah menemukan beberapa kegunaan sebagai alternatif dari Gauss.<ref name="Zagier 1981 loc"/>

== Komposisi ==
'''Komposisi''' paling sering mengacu pada [[operasi biner]] pada kelas kesetaraan primitif dari bentuk diskriminan yang sama, salah satu penemuan Gauss terdalam, yang membuat himpunan ini menjadi [[grup abelian]] terbatas yang disebut '''bentuk grup kelas''' (atau hanya grup kelas) diskriminan <math>\Delta</math>. [[Grup kelas]] telah menjadi salah satu ide sentral dalam teori bilangan aljabar. Dari perspektif modern, golongan diskriminan fundamental <math>\Delta</math> [[isomorfik]] ke [[gru0 kelas sempit]] dari [[bidang kuadrat]] <math>\mathbf{Q}(\sqrt{\Delta})</math> diskriminan <math>\Delta</math>.<ref>{{harvnb|Fröhlich|Taylor|1993|loc=Teorema 58}}</ref> Untuk negatif <math>\Delta</math>, kelompok kelas sempit adalah sama dengan [[grup kelas ideal]], tetapi untuk positif <math>\Delta</math> mungkin dua kali lebih besar.

"Komposisi" terkadang juga mengacu pada, secara kasar, operasi biner pada bentuk kuadrat biner. Kata menunjukkan dua peringatan: hanya pasangan bentuk kuadrat biner tertentu yang dapat disusun, dan bentuk yang dihasilkan tidak terdefinisi dengan baik (meskipun kelas ekuivalennya adalah). Operasi komposisi pada kelas ekivalen ditentukan dengan terlebih dahulu mendefinisikan komposisi bentuk dan kemudian menunjukkan bahwa ini menginduksi operasi yang terdefinisi dengan baik pada kelas.

"Komposisi" juga dapat merujuk ke operasi biner pada representasi bilangan bulat menurut bentuk. Operasi ini jauh lebih rumit{{citation needed|date=Januari 2021}}<!--<ref>{{harvnb|Shanks|1989}}</ref> kutipan lengkap belum ada di artikel --> daripada komposisi bentuk, tetapi muncul pertama kali secara historis. Kami akan mempertimbangkan operasi pada bagian terpisah di bawah ini.

Komposisi berarti mengambil 2 bentuk kuadrat dari diskriminan yang sama dan menggabungkannya untuk membuat bentuk kuadrat dari diskriminan yang sama, itu adalah generalisasi dari identitas 2-persegi <math>\left(a^2 + b^2\right)\left(c^2 + d^2\right) = \left(ac-bd\right)^2 + \left(ad+bc\right)^2</math>

=== Bentuk komposisi dan kelas ===
Berbagai definisi komposisi bentuk telah diberikan, sering kali dalam upaya untuk menyederhanakan definisi Gauss yang sangat teknis dan umum. Kami menyajikan di sini metode Arndt, karena tetap agak umum sementara cukup sederhana untuk dapat menerima perhitungan dengan tangan. Definisi alternatif dijelaskan di [[kubus Bhargava]].

Misalkan komposisi <math>f_1 = A_1 x^2 + B_1 xy + C_1 y^2</math> dan <math>f_2 = A_2 x^2 + B_2 xy + C_2 y^2</math>, setiap primitif dan diskriminan yang sama <math> \Delta </math>. Kami melakukan langkah-langkah berikut:

# Menghitung <math>B_\mu = \tfrac{B_1 + B_2}{2}</math> dan <math> e = \gcd(A_1, A_2, B_\mu)</math>, dan <math>A = \tfrac{A_1 A_2}{e^2}</math>
# Pecahkan sistem kesesuaian {{quote box|<math>\begin{align} x &\equiv B_1 \pmod{2 \tfrac{A_1}{e}}\\ x &\equiv B_2 \pmod{2 \tfrac{A_2}{e}}\\ \tfrac{B_\mu}{e} x &\equiv \tfrac{\Delta + B_1 B_2}{2e} \pmod{2A} \end{align} </math>}}Dapat ditunjukkan bahwa sistem ini solusi bilangan bulat modulo <math> 2A </math>. Kami memilih solusi dan menyebutnya '' B ''.
# Hitung '' C '' sedemikian rupa <math>\Delta = B^2 - 4AC</math>.  Dapat ditunjukkan bahwa '' C '' adalah bilangan bulat.

== Genera bentuk kuadrat biner ==
Gauss juga dianggap sebagai gagasan kesetaraan yang lebih kasar, dengan setiap kelas disebut '''genus''' bentuk. Setiap genus adalah gabungan dari sejumlah terbatas kelas kesetaraan dari diskriminan yang sama, dengan jumlah kelas yang hanya bergantung pada diskriminan. Dalam konteks bentuk kuadrat biner, genera dapat didefinisikan baik melalui kelas kesesuaian angka yang diwakili oleh bentuk atau oleh '''karakter genus''' yang ditentukan pada himpunan bentuk. Definisi ketiga adalah kasus khusus dari [[genus bentuk kuadrat]] dalam n variabel. Ini menyatakan bahwa bentuk berada dalam genus yang sama jika setara secara lokal di semua bilangan prima rasional (termasuk [[bidang bilangan aljabar#Kedudukan|Kedudukan Archimedean]]).

== Lihat pula ==
* [[Kubus Bhargava]]
* [[Teorema Fermat tentang penjumlahan dua persegi]]
* [[Simbol Legendre]]

== Catatan ==
{{reflist|30em}}

== Referensi ==
* Johannes Buchmann, Ulrich Vollmer: ''Binary Quadratic Forms'', Springer, Berlin 2007, {{ISBN|3-540-46367-4}}
* Duncan A. Buell: ''Binary Quadratic Forms'', Springer, New York 1989
* David A Cox, ''Primes of the form <math>x^2 + y^2</math>, Fermat, class field theory, and complex multiplication''
* {{Citation
| last=Cohen
| first=Henri
| author-link=Henri Cohen (number theorist)
| title=A Course in Computational Algebraic Number Theory
| publisher=[[Springer-Verlag]]
| location=Berlin, New York
| series=Graduate Texts in Mathematics
| isbn=978-3-540-55640-4
| mr=1228206
| year=1993
| volume=138
}}
* {{Citation
| last= Fröhlich
| first = Albrecht
| authorlink= Albrecht Fröhlich
| last2=Taylor
| first2=Martin
| authorlink2= Martin J. Taylor
| title=Algebraic number theory
| publisher=[[Cambridge University Press]]
| series=Cambridge Studies in Advanced Mathematics
| isbn=978-0-521-43834-6
| mr=1215934
| year=1993
| volume=27
}}
* {{Citation
| last1=Hardy
| first1=G. H.
| author1-link=G. H. Hardy
| last2=Wright
| first2=E. M.
| author2-link=E. M. Wright
| edition=6th
| others=Revised by [[Roger Heath-Brown|D. R. Heath-Brown]] and [[Joseph H. Silverman|J. H. Silverman]].  Foreword by [[Andrew Wiles]].
| title=An Introduction to the Theory of Numbers
| publisher= Clarendon Press 
| location=Oxford
| series=
| isbn= 978-0-19-921986-5 
| mr= 2445243
| zbl=  1159.11001 
| year=2008 
| origyear=1938
}}
* {{Citation
| last = Weil
| first = André
| authorlink= André Weil
| title = Number Theory: An approach through history from Hammurapi to Legendre
| publisher = Birkhäuser Boston
| year = 2001
}}
* {{Citation
| last = Zagier
| first = Don
| authorlink = Don Zagier
| title = Zetafunktionen und quadratische Körper: eine Einführung in die höhere Zahlentheorie
| publisher = Springer
| year = 1981
}}

== Pranala luar ==
* [http://oeis.org/wiki/User:Peter_Luschny/BinaryQuadraticForms Peter Luschny, Positive numbers represented by a binary quadratic form]
* {{eom|id=b/b016370|author=A. V. Malyshev|title=Binary quadratic form}}

[[Kategori:Bentuk kuadrat]]