Dinh ly lon Fermat, hay con goi la Dinh ly Fermat ve so nguyen, la mot trong nhung dinh ly quan trong nhat trong lich su toan hoc. Dinh ly nay duoc phat bieu boi nha toan hoc Pierre de Fermat vao the ky 17 va da thu hút su quan tam cua nhieu nha toan hoc trong nhieu the ky. Trong bai viet nay, chung ta se tim hieu ve dinh ly lon Fermat, cach chung minh va anh huong cua no.
Dinh ly lon Fermat duoc phat bieu nhu sau: dinh ly lon fermat chung minh
Chung minh cua Wiles gom nhieu buoc quan trong. Anh ta bat dau bang cach xay dung mot mo hinh moi cho phuong trinh a^n + b^n = c^n, sau do anh ta su dung ky thuat "modular forms" de bien doi phuong trinh nay thanh mot dang khac. Cuoi cung, anh ta da chung minh duoc rang phuong trinh a^n + b^n = c^n khong co nghiem nguyen. Dinh ly lon Fermat, hay con goi la
Dinh ly lon Fermat co anh huong lon lao trong nhieu linh vuc cua toan hoc. Mot trong nhung anh huong quan trong nhat la trong ly thuyet so hoc. Dinh ly nay da giup nha toan hoc hieu ro hon ve cau truc cua so nguyen va thuat toan. Dinh ly lon Fermat duoc phat bieu nhu