Phương trình Diophante: lý thuyết và các phương pháp