stanford-oval/wikipedia huggingface dataset:
Trinomys yonenagae

| Trinomys yonenagae> Tình trạng bảo tồn |
| --- | --- |
 Nguy cấp  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Mammalia
Bộ (ordo): Rodentia
Họ (familia): Echimyidae
Chi (genus): Trinomys
Loài (species): T. yonenagae
Danh pháp hai phần
Trinomys yonenagae Rocha, 1995 
 
Trinomys yonenagae là một loài động vật có vú trong họ Echimyidae, bộ Gặm nhấm. Loài này được Rocha miêu tả năm 1995.
Chú thích

↑  Catzeflis, F., Patton, J., Percequillo, A., Bonvicino, C. & Weksler, M. (2008). Trinomys yonenagae. 2008 Sách đỏ IUCN. Liên minh Bảo tồn Thiên nhiên Quốc tế 2008. Truy cập ngày 6 tháng 1 năm 2009.
1 2  Wilson, D. E.; Reeder, D. M. biên tập (2005). “Trinomys yonenagae”. Mammal Species of the World . Baltimore: Nhà in Đại học Johns Hopkins, 2 tập (2.142 trang). ISBN 978-0-8018-8221-0. OCLC 62265494.
Ehime

| Tỉnh Ehime 愛媛県 |
| --- | --- |
—  Tỉnh  —
Chuyển tự Nhật văn
 • Kanji: 愛媛県
 • Rōmaji: Ehime-ken
 
 
Nút giao thông Kawauchi và một góc thành phố Tōon, tỉnh Ehime.
  Hiệu kỳ Biểu hiệu
 Vị trí tỉnh Ehime trên bản đồ Nhật Bản.
Tỉnh Ehime
Tọa độ: 33°50′29,8″B 132°45′56,4″Đ﻿ / ﻿33,83333°B 132,75°Đ﻿ / 33.83333; 132.75000 
Quốc gia:  Nhật Bản
Vùng: Shikoku
Đảo: Shikoku
Lập tỉnh: 20 tháng 2 năm 1873
Đặt tên theo: Ehime
Thủ phủ: Matsuyama
Phân chia hành chính: 7 huyện 20 hạt
Chính quyền
 • Thống đốc: Nakamura Tokihiro
 • Phó Thống đốc: Senba Ryūzou, Joukou Toshifumi
 • Văn phòng tỉnh: 4-4-2, phường Ichibancho, thành phố Matsuyama 〒790-8570 Điện thoại: (+81) 089-941-2111
Diện tích
 • Tổng cộng: 5,676,11 km2 (2,19.156 mi2)
 • Rừng: 70,3%
Thứ hạng diện tích: 26
Dân số (1 tháng 10 năm 2015)
 • Tổng cộng: 1.385.262
 • Thứ hạng: 28
 • Mật độ: 244/km2 (630/mi2)
GDP (danh nghĩa, 2014)
 • Tổng số: JP¥ 4.756 tỉ
 • Theo đầu người: JP¥ 2,520 triệu
 • Tăng trưởng:  1,1%
 
Múi giờ: UTC+9, Giờ UTC+9
Mã ISO 3166: JP-38
Mã địa phương: 380008
Thành phố kết nghĩa: Hawaii, Thiểm Tây
Tỉnh lân cận: Tokushima, Kōchi, Kagawa, Hiroshima
     ■ ― Thành phố / ■ ― Thị trấn  
Website: www.pref.ehime.jp 
Biểu trưng

Hymn: "Ehime no Uta" (愛媛の歌, "Ehime no Uta"?)
Loài chim: Oanh Nhật Bản (Erithacus akahige)
Cá: Tráp đỏ (Pagrus major)
Hoa: Hoa cam satsuma (Citrus unshiu)
Động vật có vú: Rái cá sông Nhật Bản (Lutra lutra nippon)
Linh vật: Mican
Cây: Thông (Pinus)
 
Ehime (愛媛県 (Ái Viên huyện), Ehime-ken?) là một tỉnh phía Tây Bắc của vùng đảo Shikoku, Nhật Bản. Tỉnh lỵ là thành phố Matsuyama. Ehime có đặc sản nổi tiếng là quýt.
Địa lý

Ở hướng Bắc, Ehime giáp biển Seto Naikai. Ở phía Đông, giáp các tỉnh Kagawa và Tokushima. Phía Nam, giáp tỉnh Kochi. Địa hình của tình gồm vùng núi cao phía Đông Nam và bờ biển dài ở phía Bắc.
Lịch sử

Xưa kia, trên địa bàn tỉnh Ehime là xứ Iyo.
Hành chính

Ehime bao gồm 20 đơn vị hành chính cấp hạt, trong đó có 11 thành phố và 9 thị trấn, làng.
| Tên thành phố | Dân số | Diện tích | Mật độ | Ngày thành lập | Trang chủ |
| --- | --- | --- | --- | --- | --- |
| Matsuyama | 512.565 | 428.84 | 1.195,24 | 15 tháng 12 năm 1889 |  |
| Niihama | 124.330 | 234.30 | 530.64 | 3 tháng 11 năm 1937 |  |
| Shikokuchūō | 93.444 | 420.05 | 222.46 | 1 tháng 4 năm 2004 |  |
| Seiyo | 46.908 | 514.78 | 91.12 | 1 tháng 4 năm 2004 |  |
| Tōon | 35.080 | 211.45 | 165.90 | 21 tháng 9 năm 2004 |  |
| Saijō | 116.687 | 509.78 | 229.00 | 1 tháng 11 năm 2004 |  |
| Ōzu | 52.118 | 432.20 | 120.59 | 11 tháng 1 năm 2005 |  |
| Imabari | 173.985 | 419.56 | 414.68 | 16 tháng 1 năm 2005 |  |
| Yawatahama | 42.087 | 132.96 | 316.54 | 28 tháng 5 năm 2005 |  |
| Iyo | 40.608 | 194.47 | 208.81 | 1 tháng 4 năm 2005 |  Lưu trữ 2006-12-14 tại Wayback Machine |
| Uwajima | 92.418 | 469.48 | 196.85 | 1 tháng 8 năm 2005 |  |
Làng và thị trấn:
| 0 | 1 | 2 |
| --- | --- | --- |
|  Iyo Gun Masaki  Tobe  Kamiukena Gun Kumakōgen |  Kita Gun Uchiko Kitauwa Gun Kihoku † Matsuno † Minamiuwa Gun Ainan |  Nishiuwa Gun Ikata Ochi Gun Kamijima |
† Dự kiến sẽ sáp nhập [liên kết hỏng].
Thể thao

Các đội thể thao được liệt kê dưới đây có trụ sở tại Ehime.

Bóng đá
Ehime FC
Bóng chày
Ehime Mandarin Pirates
Du lịch

- Suối nước nóng
Tripogon humilis

| Tripogon humilis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Poales
Họ (familia): Poaceae
Chi (genus): Tripogon
Loài (species): T. humilis
Danh pháp hai phần
Tripogon humilis H.L.Yang 
Tripogon humilis là một loài thực vật có hoa trong họ Hòa thảo. Loài này được H.L.Yang miêu tả khoa học đầu tiên năm 1983.
Chú thích

↑  The Plant List (2010). “Tripogon humilis”. Truy cập ngày 9 tháng 6 năm 2013.
Phương trình Diophantos

Phương trình đa thức xét nghiệm nguyênBản mẫu:SHORTDESC:Phương trình đa thức xét nghiệm nguyên
Việc tìm tất cả các tam giác vuông có cạnh nguyên tương đương với việc giải phương trình Diophantos a2 + b2 = c2.
Trong toán học, phương trình Diophantos là phương trình đa thức, thường bao gồm ít nhất hai biến và các nghiệm của phương trình phải là số nguyên. Phương trình Diophantos tuyến tính là phương trình trong đó tổng của hai hay nhiều hơn đơn thức bằng với một hằng số nào đó, và mỗi đơn thức có bậc một.  Phương trình Diophantos mũ là phương trình mà trong đó biến nằm trong số mũ của lũy thừa nào đó.
Các bài toán Diophantos thường có ít phương trình hơn số biến và yêu cầu phải tìm tất cả các số nguyên là nghiệm của tất cả các phương trình. Bởi vậy, từ hệ phương trình ta định nghĩa ra đường cong đại số, mặt phẳng đại số, hay tổng quát hơn là tập đại số. Việc học và nghiên cứu các khái niệm này là một phần của hình học đại số, nhánh đó được gọi là hình học Diophantos.
Từ Diophantos nói đến nhà toán học Hy Lạp của thế kỷ thứ ba, Diofantos xứ Alexandria, người đã nghiên cứu các phương trình dưới dạng đó, và là một trong những nhà toán học đầu tiên giới thiệu các ký hiệu toán học cho đại số. Việc nghiên cứu các bài toán Diophantos được gọi là giải tích Diophantos.
Trong khi các bài toán riêng lẻ thường được dùng làm bài đố và được xét từng bài một qua lịch sử,  tìm ra lý thuyết tổng quát cho các phương trình Diophantos (trên cả trường hợp tuyến tính và toàn phương) được coi là thành tựu của toán học thế kỷ 20.
Các ví dụ

Trong các phương trình Diophantos sau, w, x, y, and z là các ẩn số và các ký tự chữ cái khác là các hằng số cho trước:
| --- | --- |
ax + by = c: Đây là phương trình Diophantos tuyến tính.
w3 + x3 = y3 + z3: Nghiệm nguyên dương nhỏ nhất không tầm thường là 123 + 13 = 93 + 103 = 1729.  Nó được tìm thấy bởi tính chất đặc biệt của số 1729, còn gọi là số taxicab (hay còn được đặt tên là số Hardy–Ramanujan) bởi Ramanujan với Hardy khi gặp mặt nhau vào năm 1917. Có vô số nghiệm không tầm thường.
xn + yn = zn: Với n = 2, có vô số nghiệm (x, y, z): là các bộ ba số Pythagoras. Đối với các số n lớn hơn, định lý lớn Fermat (bắt nguồn từ năm 1637 bởi Fermat và được chứng minh bởi Andrew Wiles trong 1995) phát biểu rằng không có nghiệm nguyên dương nào tồn tại cho (x, y, z).
x2 − ny2 = ±1: Đây là phương trình Pell, được theo tên nhà toán học Anh John Pell. Nó được nghiên cứu bởi Brahmagupta trong thế kỷ thứ bảy, và bởi Fermat vào thế kỷ 17.
4/n = 1/x + 1/y + 1/z: Giả thuyết Erdős–Straus phát biểu rằng với mọi số nguyên n ≥ 2, tồn tại nghiệm cho x, y, và z, các nghiệm này đều là số nguyên dương. Mặc dù thường không phát biểu dưới dạng đa thức, ví dụ này tương đương với phương trình đa thức: 4xyz = yzn + xzn + xyn = n(yz + xz + xy).
x4 + y4 + z4 = w4: Phỏng đoán sai bởi Euler rằng không có nghiệm không tầm thường nào.  Được chứng minh bởi Elkies có vô số nghiệm không tầm thường. Tìm kiếm bằng máy tính cùng Frye xác định được nghiệm nhỏ nhất là: 958004 + 2175194 + 4145604 = 4224814.
Phương trình Diophantos tuyến tính > Một phương trình

Phương trình Diophantos đơn giản nhất có dạng ax + by = c, trong  a, b và c là các số nguyên được cho trước. Các nghiệm được tìm theo định lý sau:
Chứng minh: Nếu d là ước chung lớn nhất thì bổ đề Bézout khẳng định sự tồn tại của hai số nguyên e và f sao cho ae + bf = d. Nếu c là bội của d, thì c = dh với một số số nguyên h, và (eh, fh) là nghiệm cần tìm. Mặt khác, với mỗi cặp số nguyên x và y, ước chung lớn nhất d của a và b là ước của ax + by. Do đó, nếu phương trình có nghiệm thì c phải là bội của d. Nếu a = ud và b = vd, thì với mọi nghiệm (x, y), ta có
suy ra (x + kv, y − ku) cũng là một nghiệm khác. Cho hai nghiệm thỏa mãn ax1 + by1 = ax2 + by2 = c, ta có thể suy ra rằng u(x2 − x1) + v(y2 − y1) = 0. Bởi u và v nguyên tố cùng nhau, từ bổ đề Euclid ra được rằng v là ước của x2 − x1, do đó tồn tại số nguyên k sao cho x2 − x1 = kv và y2 − y1 = −ku. Do vậy, x2 = x1 + kv và y2 = y1 − ku, hoàn thành bài chứng minh.
Phương trình Diophantos tuyến tính > Định lý số dư Trung Quốc

Định lý số dư Trung Quốc mô tả một lớp quan trọng của các hệ phương trình Diophantos tuyến tính: Gọi n1, …, nk là k số nguyên lớn hơn một và nguyên tố cùng nhau đôi một, a1, …, ak là k số nguyên tùy ý, và N là tích của n1 ⋯ nk. Định lý số dư Trung Quốc khẳng định rằng hệ phương trình Diophantos tuyến tính sau có duy nhất một nghiệm (x, x1, …, xk) sao cho 0 ≤ x < N, và các nghiệm khác có thể thu về được bằng cách cộng vào x bội của N:
Phương trình Diophantos tuyến tính > Hệ phương trình Diophantos tuyến tính

Tổng quát hơn, mọi hệ phương trình Diophantos tuyến tính có thể được giải bằng cách dùng dạng chuẩn tắc Smith của ma trận của hệ, theo cách tương tự với cách khử về dạng hàng bậc thang để giải hệ phương trình tuyến tính trên một trường. Sử dụng ký hiệu ma trận, mọi hệ phương trình Diophantos tuyến tính có thể được viết lại thành
trong đó A là ma trận kích thước m × n của các số nguyên, X là ma trận cột kích thước n × 1 của các ẩn số và C là ma trận cột kích thước m × 1 của các số nguyên.
Tính dạng chuẩn tắc Smith của A cho hai ma trận đơn modula (là các ma trận khả nghịch trên số nguyên và có định thức bằng ±1) U và V có số chiều m × m và n × n tương ứng, sao cho ma trận
thỏa mãn bi,i khác không khi i không lớn hơn số nguyên k, còn các phần tử khác thì bằng không. Hệ phương trình có thể viết lại thành:
Gọi yi là phần tử của V−1X và di là phần tử của D = UC, tìm được hệ phương trình sau
Hệ phương trình này tương đương với hệ phương trình cho trước bởi: Ma trận cột của các số nguyên x là nghiệm của hệ phương trình khi và chỉ khi x = Vy với một số ma trận cột y thỏa mãn By = D.
Từ đây, ta suy ra được rằng hệ phương trình có nghiệm khi và chỉ khi bi,i là ước của di với i ≤ k và di = 0 khi i > k. Nếu điều kiện này được thỏa mãn thì các nghiệm của hệ phương trình cho trước là
trong đó hk+1, …, hn là các số nguyên tùy ý.
Phương trình Diophantos thuần nhất

Phương trình Diophantos thuần nhất là phương trình Diophantos định nghĩa bằng đa thức thuần nhất. Một trong những ví dụ nổi bật là phương trình của định lý lớn Fermat:
Bởi đa thức thuần nhất với n ẩn định nghĩa siêu mặt trong không gian xạ ảnh có chiều n − 1, giải phương trình Diophantos thuần nhất tương đương với tìm các điểm hữu tỉ của siêu mặt xạ ảnh.
Giải phương trình Diophantos thuần nhất thường là bài toán rất khó, kể cả trong trường hợp đơn giản nhất không tầm thường của 3 ẩn (trong trường hợp chỉ có hai ẩn, bài toán chuyển về kiểm tra xem liệu có số hữu tỉ là lũy thừa bậc d của số hữu tỉ kia). Một bằng chứng về độ khó của bài toán là định lý lớn Ferrmat, định lý phát biểu rằng với d > 2, không có nghiệm nguyên nào cho phương trình. Phải mất hơn ba thế kỷ thì định lý lớn Fermat mới được giải quyết bởi các nhà toán học.
Đối với bậc lớn hơn ba, các kết quả đã biết chủ yếu là các định lý xác định phương trình vô nghiệm (ví dụ như định lý lớn Fermat) hoặc số nghiệm hũu hạn (ví dụ như định lý Faltings).
Đối với bậc bằng ba, có các phương pháp pháp giải chung cho gần như mọi phương trình bậc ba, nhưng không có thuật toán nào được biết là có thể giải cho mọi phương trình bậc ba.
Phương trình Diophantos thuần nhất > Phương trình bậc hai

Phương trình Diophantos thuần nhất bậc hai thường dễ giải hơn. Cách giải thường bao gồm hai bước: Đầu tiên tìm một nghiệm của phương trình hoặc chứng minh phương trình không có nghiệm nào. Nếu phương trình có nghiệm thì ta có thể suy ra các nghiệm còn lại.
Để chứng minh phương trình không có nghiệm, ta có thể rút gọn phương trình bằng cách modulo p. Lấy ví dụ, phương trình Diophantos sau
không có nghiệm nguyên nào khác ngoại trừ nghiệm tầm thường (0, 0, 0). Thật vậy, bằng cách chia x, y, và z bằng ước chung lớn nhất của chúng, ta có thể đặt mặc định rằng ba ẩn phải nguyên tố cùng nhau. Số chính phương chia 4 thì dư 0 hoặc dư 1. Do đó vế trái của phương trình đồng dư với 0, 1, hoặc 2, còn vế phải đồng dư với 0 hoặc 3. Do đó phương trình có nghiệm chỉ khi x, y, và z đều chẵn, do đó không nguyên tố cùng nhau. Do đó nghiệm duy nhất là nghiệm tầm thường (0, 0, 0). Bài toán này chứng minh không có điểm hữu tỉ nào trên đường tròn có bán kính  {\sqrt {3}} và tâm tại gốc tọa độ.
Tổng quát hơn, nguyên lý Hasse cho phép kiểm tra xem phương trình Diophantos thuần nhất bậc hai có nghiệm nguyên hay không, và tính một nghiệm nếu phương trình có nghiệm.
Nếu một nghiệm không tầm thường đã được biết, các nghiệm còn lại được tính theo cách sau:
Phương trình Diophantos thuần nhất > Phương trình bậc hai > Suy từ hình học

Gọi
là phương trình Diophantos thuần nhất, trong đó  Q(x_{1},\ldots ,x_{n}) là dạng toàn phương (nghĩa là phương trình là đa thức thuần nhất bậc hai) có hệ số nguyên. Nghiệm tầm thường là nghiệm mà các ẩn  x_{i} đều bằng không. Nếu  (a_{1},\ldots ,a_{n}) là nghiệm không tầm thường của phương trình này, thì  \left(a_{1},\ldots ,a_{n}\right) là các tọa độ thuần nhất của điểm hữu tỉ của siêu mặt định nghĩa bởi Q. Ngược lại, nếu  




(




p

1


q


,
…
,



p

n


q



)



{\textstyle \left({\frac {p_{1}}{q}},\ldots ,{\frac {p_{n}}{q}}\right)}

 là các tọa độ thuần nhất của điểm hữu tỉ của siêu mặt này, trong đó  q,p_{1},\ldots ,p_{n} là các số nguyên, thì  \left(p_{1},\ldots ,p_{n}\right) là nghiệm nguyên của phương trình Diophantine này. Hơn nữa, các nghiệm nguyên định nghĩa điểm hữu tỉ cho trước đều là các dãy dưới dạng
trong đó k là số nguyên tùy ý, và d là ước chung lớn nhất  p_{i}.
Qua đó, bài toán giải phương trình bậc hai  Q(x_{1},\ldots ,x_{n})=0 có thể rút gọn hoàn toàn về tìm các điểm hữu tỉ của một siêu mặt xạ ảnh.
Phương trình Diophantos thuần nhất > Phương trình bậc hai > Tham số hóa

Bây giờ đặt  A=\left(a_{1},\ldots ,a_{n}\right) là nghiệm nguyên của phương trình  Q(x_{1},\ldots ,x_{n})=0. Bởi Q là đa thức bậc hai, một đường thẳng đi qua A cắt siêu mặt tại một điểm khác, điểm đó hữu tỉ khi và chỉ khi đường thẳng hữu tỉ (nghĩa là đường thẳng được định nghĩa bởi các tham số hữu tỉ). Điều này cho phép ta tham số hóa siêu mặt bằng các đường thẳng đi qua A, và các điểm hữu tỉ là các điểm lấy được từ đường hữu tỉ (hay là các đường tương ứng với các giá trị tham số hữu tỉ).
Chính xác hơn, ta có thể làm như sau.
Bằng việc sắp xếp lại các số hạng, ta có thể giả định không mất tính tổng quát rằng  a_{n}\neq 0. thì có thể chuyển bài toán về trường hợp affin bằng cách xét siêu mặt affin định nghĩa bởi
có điểm hữu tỉ sau
Nếu điểm hữu tỉ này là điểm kỳ dị, nghĩa là nếu tất cả các đạo hàm riêng của nó đều bằng không tại R, mọi đường đi qua R đều nằm trong trong siêu phẳng, thì ta thu về được mặt nón. Thay đổi các ẩn
không làm thay đổi các điểm hữu tỉ, và biến q về đa thức chứa n − 1 biến. Trong trường hợp này, bài toán có thể được giải bằng cách áp dụng tiếp phương pháp cho phương trình ít biến hơn.
Nếu đa thức q là tích của các đa thức tuyến tính (có thể có hệ số không hữu tỉ), thì nó định nghĩa hai siêu phẳng. Giao của hai siêu phẳng này là một phẳng hữu tỉ chứa các điểm kỳ dị. Trường hợp này là trường hợp đặc biệt của cái trước.
Trong trường hợp tổng quát, xét phương trình tham số của đường thẳng đi qua R:
Thay này vào q, ta được đa thức bậc hai trong  x_{1}, và bằng 0 khi  x_{1}=r_{1}. Do đó nó chia hết cho  x_{1}-r_{1},. Thương này tuyến tính trong  x_{1}, và có thể giải được bằng cách biểu diễn  x_{1} là thương của hai đa thức có bậc tối đa bằng hai trong  t_{2},\ldots ,t_{n-1}, cùng với hệ số nguyên:
Thay này vào biểu thức cho  x_{2},\ldots ,x_{n-1}, ta được: với i = 1, …, n − 1,
trong đó  f_{1},\ldots ,f_{n} là các đa thức có bậc tối đa bằng hai với hệ số nguyên.
Sau đó, ta có thể quay về xét trường hợp thuần nhất. Với i = 1, …, n, gọi
là thuần nhất hóa của  f_{i}. Các đa thức bậc hai này với hệ số nguyên tạo thành tham số hóa của siêu mặt xạ ảnh định nghĩa bởi Q:
Một điểm của siêu mặt xạ ảnh định nghĩa bởi Q là điểm hữu tỉ khi và chỉ khi nó có thể lấy được từ các giá trị hữu tỉ của  t_{1},\ldots ,t_{n-1}. Bởi  F_{1},\ldots ,F_{n} là các đa thức thuần nhất, điểm này không đổi nếu các  t_{i} đều được nhân cùng bởi một số hữu tỷ. Do đó, ta có thể giả định rằng  t_{1},\ldots ,t_{n-1} là các số nguyên tố cùng nhau. Ta chứng minh được các nghiệm nguyên của phương trình Diophantos là dãy  (x_{1},\ldots ,x_{n}) như sau: với i = 1, ..., n,
trong đó k là số nguyên,  t_{1},\ldots ,t_{n-1} là các số nguyên tố cùng nhau, và d là ước chung lớn nhất của n số nguyên  F_{i}(t_{1},\ldots ,t_{n-1}).
Phương trình Diophantos thuần nhất > Phương trình bậc hai > Ví dụ bằng bộ ba số Pythogoras

Phương trình
là một trong những phương trình Diophantos bậc hai được nghiên cứu đầu tiên. Nghiệm của nó là các bộ ba số Pythagoras. Đây cũng là phương trình thuần nhất của đường tròn đơn vị. Ta sẽ dùng các phương pháp nêu trên để tìm ra công thức Euclid cho việc sinh ra các bộ ba số Pythagoras.
Để lấy được công thức Euclid, ta bắt đầu từ nghiệm (−1, 0, 1), tương ứng với điểm (−1, 0) của đường tròn đơn vị. Một đường thẳng đi qua điểm này có thể được tham số hóa bởi dốc của nó:
Thay vào phương trình đường tròn
ta được
Chia cho x + 1, kết quả ra là
giải cho x ta được:
Từ đây, đặt
Thuần nhất hóa theo phương pháp kể trên, ta được tất cả các nghiệm như sau
trong đó k là số nguyên tùy ý, s và t là hai số nguyên tố cùng nhau, và d là ước chung lớn nhất của ba tử số numerators. Thêm nữa, d = 2 nếu s và t đều lẻ, và d = 1 nếu một giá trị chẵn và giá trị còn lại lẻ.
Bộ ba số Pythagoras nguyên thủy là các nghiệm mà k = 1 và s > t > 0.
Mô tả của các nghiệm này khác một chút so với công thức Euclid bởi vì công thức Euclid chỉ xét các nghiệm mà x, y và z đều là các số nguyên dương và không phân biệt giữa hai bộ ba khi ta đổi vị trí của x và y,
Các câu hỏi liên quan đến phương trình Diophantine

Các vấn đề sau được đặt ra  khi giải một phương trình nghiệm nguyên, chúng được sắp xếp theo thứ tự từ dễ đến khó:
Phương trình có thể giải quyết được hay không, nghĩa là nó có nghiệm, hay vô nghiệm?
Nếu có nghiệm, phương trình có bao nhiêu nghiệm, có hữu hạn hay có vô số nghiệm?
Tìm tất cả nghiệm của phương trình?
Các câu hỏi liên quan đến phương trình Diophantine > Ví dụ về giải phương trình Diophantos

Đưa phương trình  (*) về dạng  f_{1}(x_{1};x_{2};x_{3};...;x_{n})f_{2}(x_{1};x_{2};x_{3};...;x_{n})f_{3}(x_{1};x_{2};x_{3};...;x_{n})...f_{n}(x_{1};x_{2};x_{3};...;x_{n})=a và  a=a_{1}a_{2}a_{3}...a_{n}, khi đó:
⇒  f_{1}(x_{1};x_{2};x_{3};...;x_{n})=a_{1}; f_{2}(x_{1};x_{2};x_{3};...;x_{n})=a_{2}; f_{3}(x_{1};x_{2};x_{3};...;x_{n})=a_{3};...; f_{n}(x_{1};x_{2};x_{3};...;x_{n})=a_{n}
Ví dụ: Tìm nghiệm nguyên dương của phương trình 3xy+y+x=6
Giải: viết phương trình trên về dạng
2008x^{2009}+2009y^{2010}=2011
Chú thích

↑  “Quotations by Hardy”. Gap.dcs.st-and.ac.uk. Bản gốc lưu trữ 16 tháng Bảy năm 2012. Truy cập 20 Tháng mười một năm 2012.
↑  Everest, G.; Ward, Thomas (2006), An Introduction to Number Theory, Graduate Texts in Mathematics, 232, Springer, tr. 117, ISBN 9781846280443.
↑  Wiles, Andrew (1995). “Modular elliptic curves and Fermat's Last Theorem” (PDF). Annals of Mathematics. 141 (3): 443–551. doi:10.2307/2118559. JSTOR 2118559. OCLC 37032255. Bản gốc (PDF) lưu trữ 10 tháng Bảy năm 2023. Truy cập 26 Tháng tám năm 2022.
↑  Elkies, Noam (1988). “On A4 + B4 + C4 = D4” (PDF). Mathematics of Computation. 51 (184): 825–835. doi:10.2307/2008781. JSTOR 2008781. MR 0930224.
↑  Frye, Roger E. (1988). “Finding 958004 + 2175194 + 4145604 = 4224814 on the Connection Machine”. Proceedings of Supercomputing 88, Vol.II: Science and Applications. tr. 106–116. doi:10.1109/SUPERC.1988.74138.
↑  Kovacic, Jerald (8 tháng 5 năm 1985). “An Algorithm for Solving Second Order Linear Homogeneous Differential Equations” (PDF). Core. Lưu trữ (PDF) bản gốc 16 Tháng tư năm 2019.
Fukui

| Tỉnh Fukui 福井県 |
| --- | --- |
—  Tỉnh  —
Chuyển tự Nhật văn
 • Kanji: 福井県
 • Rōmaji: Fukui-ken
 
 
Toàn cảnh vùng đồng bằng Fukui, tỉnh Fukui nhìn từ đỉnh Monju.
  Hiệu kỳ Biểu hiệu
 Vị trí tỉnh Fukui trên bản đồ Nhật Bản.
Tỉnh Fukui
Tọa độ: 36°3′54,7″B 136°13′18″Đ﻿ / ﻿36,05°B 136,22167°Đ﻿ / 36.05000; 136.22167 
Quốc gia:  Nhật Bản
Vùng: Chūbu (Hokuriku)
Đảo: Honshū
Lập tỉnh: 7 tháng 2 năm 1881
Đặt tên theo: Lâu đài Fukui
Thủ phủ: Fukui
Phân chia hành chính: 7 huyện 17 hạt
Chính quyền
 • Thống đốc: Nishikawa Issei, Sugimoto Tatsuji
 • Phó Thống đốc: Asahi Nobuaki
 • Văn phòng tỉnh: 3-17-1, phường Ōte, thành phố Fukui 〒910-8580 Điện thoại: (+81) 0776-21-1111
Diện tích
 • Tổng cộng: 4,190,49 km2 (1,61.796 mi2)
 • Mặt nước: 0,2%
 • Rừng: 73,9%
Thứ hạng diện tích: 34
Dân số (1 tháng 10 năm 2015)
 • Tổng cộng: 786.740
 • Thứ hạng: 43
 • Mật độ: 188/km2 (490/mi2)
GDP (danh nghĩa, 2014)
 • Tổng số: JP¥ 3.130 tỉ
 • Theo đầu người: JP¥ 2,973 triệu
 • Tăng trưởng:  1,1%
 
Múi giờ: UTC+9, Giờ UTC+9
Mã ISO 3166: JP-18
Mã địa phương: 180009
Thành phố kết nghĩa: New Jersey, Chiết Giang, Thị trấn Winsen, Harburg
Tỉnh lân cận: Ishikawa, Gifu, Shiga, Kyōto
     ■ ― Thành phố / ■ ― Thị trấn  
Website: www.pref.fukui.lg.jp 
Biểu trưng

Hymn: "Fukui Kenminka" (福井県民歌, "Fukui Kenminka"?)
Loài chim: Hoét lưng hung (Turdus eunomus)
Cá: Cua tuyết (Chionoecetes opilio)
Hoa: Thủy tiên (Narcissus tazetta)
Linh vật: Juratic
Cây: Thông (Pinus)
 
Fukui (福井県 (Phúc Tỉnh huyện), Fukui-ken?) là tỉnh thuộc tiểu vùng Hokuriku, vùng Chūbu, Nhật Bản. Thủ phủ của tỉnh là thành phố Fukui.
Địa lý

Fukui phía Tây trông ra vịnh Wakasa (biển Nhật Bản), phía Bắc giáp tỉnh Ishikawa, phía Đông giáp tỉnh Gifu, phía Đông Nam giáp tỉnh Shiga, phía Nam giáp tỉnh Kyoto.
Lịch sử

Xưa kia, trên địa bàn tỉnh Fukui là các xứ Wakasa và Echizen.
Hành chính > Thành phố

| Tên> Rōmaji | Tên> Kanji | Diện tích  (km2) | Dân số | Bản đồ |
| --- | --- | --- | --- | --- |
|  Awara | あわら市 | 116,98 | 28.405 |  |
|  Echizen | 越前市 | 230,7 | 83.078 |  |
|  Fukui (thủ phủ) | 福井市 | 536,41 | 264.217 |  |
|  Katsuyama | 勝山市 | 253,88 | 23.527 |  |
|  Obama | 小浜市 | 233,09 | 29.435 |  |
|  Ōno | 大野市 | 872,43 | 33.640 |  |
|  Sabae | 鯖江市 | 84,59 | 69.338 |  |
|  Sakai | 坂井市 | 209,67 | 92.210 |  |
|  Tsuruga | 敦賀市 | 251,39 | 66.123 |  |
Hành chính > Thị trấn

| Tên> Rōmaji | Tên> Kanji | Diện tích (km2) | Dân số | Huyện | Bản đồ |
| --- | --- | --- | --- | --- | --- |
|  Echizen | 越前町 | 153,15 | 20.709 | Nyū |  |
|  Eiheiji | 永平寺町 | 94,43 | 18.746 | Yoshida |  |
|  Ikeda | 池田町 | 194,65 | 2.628 | Imadate |  |
|  Mihama | 美浜町 | 152,35 | 9.643 | Mikata |  |
|  Minamiechizen | 南越前町 | 343,69 | 10.745 | Nanjō |  |
|  Ōi | おおい町 | 212,19 | 8.102 | Ōi |  |
|  Takahama | 高浜町 | 72,4 | 10.490 | Ōi |  |
|  Wakasa | 若狭町 | 178,49 | 14.577 | Mikatakaminaka |  |
Văn hóa

Fukui có thành Maruoka, thành lập năm 1576, một trong những thành quách cổ nhất Nhật Bản vẫn còn đứng vững. Chùa Eihei thành lập từ năm 1244 là một trong những trung tâm đào tạo sư sãi Phật giáo của Nhật Bản. Trên địa phận của tỉnh Fukui, người ta đã khai quật được nhiều hóa thạch khủng long và đem trưng bày tại Bảo tàng Khủng long Fukui.
Giáo dục

Đại học Fukui
Du lịch

Bảo tàng Khủng long Fukui
Bờ biển của Fukui có nhiều cảnh đẹp.