Tài liệu cung cấp các ví dụ về việc tìm nghiệm nguyên cho nhiều phương trình khác nhau bằng cách sử dụng bất đẳng thức và suy diễn. Các phương trình bao gồm x² - 6xy + 13y² = 100, yz x + xz y + xy z = 3, và y² = 1 + x + x² + x³, cùng với phương pháp giải chi tiết. Kết quả cuối cùng trình bày các nghiệm nguyên cho mỗi phương trình một cách rõ ràng.