Phương trình trên bên phải cho chúng ta biết n = ± 1. Nếu n = 1, sau đó 1 = 3m2 - 1, vậy 3m2 = 2, mà
không có giải pháp số nguyên. Nếu n = -1, sau đó 1 = - (3m2 - 1), do đó m = 0. Do đó y = 0, do đó
x
3 = y
2 + 1 = 1. Như vậy x = 1.
Chú ý 8.6. Sử dụng Z [i], năm 1850 VA Lebesgue đã cho thấy tất cả các d ≥ 2 rằng phương trình
y
2 = x
d -. 1 không có giải pháp trong số nguyên khác không x và y
Chúng ta kết thúc phần này bằng cách quay lại chủ đề kết nối với ứng dụng đầu tiên của chúng tôi : số tiền
của hai hình vuông. Chúng tôi thấy rằng một nguyên tố là một tổng của hai ô vuông chỉ là một cách. Nhưng khác
con số có thể là tổng của hai hình vuông trong nhiều cách, chẳng hạn như 50 và 65. Bây giờ chúng ta sử dụng
số học trong Z [i] để xây dựng hệ thống số là chỉ số tiền của hai hình vuông trong nhiều
hơn một cách. Hãy xem xét các factorizations 5 và 13:
5 = (1 + 2i) (1 - 2i), 13 = (2 + 3i) (2 - 3i).
Chúng tôi có thể kết hợp những yếu tố này theo hai cách:
5 · 13 = ((1 + 2i) (2 + 3i)) ((1 - 2i) (2 - 3i)) = ((1 + 2i) (2 - 3i)) ((1 - 2i) (2 + 3i)).
Sau khi một số đại số , điều này sẽ trở thành
65 = (-4 + 7i) (- 4 - 7i) = (8 + i) (8 - i).
như vậy
65 = 42 + 72 = 82 + 12
.
cơ quan đại diện khác nhau của một số nguyên như là một khoản tiền của hai vuông trong Z tương ứng với việc sắp xếp lại
các yếu tố chính trong Z [i]!
một ví dụ khác, sử dụng 5 = (1 + 2i) (1 - 2i) và 10 = (1 + 3i) (1 - 3i), chúng ta có thể viết
xuống hai số nguyên Gaussian khác nhau với mức 50:
. (1 + 2i) (1 + 3i) = -5 + 5I, (1 + 2i) (1 - 3i) = 7 - i
Lấy tiêu chuẩn, chúng tôi tìm thấy 50 = 52 + 52 = 12 + 72
.
30 KEITH CONRAD
Hãy tìm một số nguyên đó là một tổng của hai hình vuông theo ba cách khác nhau. Chúng tôi sử dụng các
số nguyên tố 5, 13, và 17. Trong Z [i],
đang được dịch, vui lòng đợi..