แก้สมการ
ตั้งการทดสอบแบบ AC เมื่อ และ เราต้องหาจำนวนเต็มสองจำนวนที่มีผลคูณเป็น
และมีผลบวกเป็น
แสดงว่าการทดสอบล้มเหลวจริง คู่ตัวหารของ ให้ผลบวกแบบมีเครื่องหมายเป็น คู่ที่เฉียดที่สุดคือ กับ ซึ่งบวกกันได้ ไม่ใช่ จึงไม่มีการแยกตัวประกอบด้วยจำนวนเต็ม และคำตอบใดที่สร้างจากคู่นั้นย่อมผิด
คำนวณดิสคริมิแนนต์
เนื่องจาก และ ค่า จึงไม่ใช่กำลังสองสมบูรณ์ ยืนยันว่ารากเป็นจำนวนอตรรกยะ
ใช้สูตรแล้วจัดรูป และ ไม่มีตัวประกอบกำลังสอง ดังนั้น :
ตรวจเชิงตัวเลข ดังนั้น หรือ จากนั้น
Need to solve a different problem like this? Open the solver →