ฉันถือว่าคุณกำลังพิจารณาพหุนามกับค่าสัมประสิทธิ์จำนวนเต็ม
คุณได้รับจุดเริ่มต้นที่ผิดสำหรับการตรวจสอบของคุณ เป้าหมายของคุณคือการหาค่าประมาณที่ดีสำหรับรากที่แท้จริง กำลังมองหาสูตรพีชคณิตเพื่อให้คุณสามารถประเมินความแม่นยำเพียงพอเป็นสิ่งที่คุณสามารถทำได้ แต่ไม่ใช่สิ่งที่ถูกต้องที่จะทำที่นี่ (เว้นแต่แน่นอน " k
รากที่แท้จริงที่ใหญ่ที่สุดของพหุนาม" เป็นหนึ่งในการดำเนินงานเกี่ยวกับพีชคณิตของคุณ)
จุดเริ่มต้นที่ดีกว่าคือการใช้ทฤษฎีบทของ Sturmเพื่อแยกรากของพหุนาม จากนั้นคุณสามารถสร้างการประมาณที่ดีขึ้นโดยการค้นหาแบบไบนารี แต่ถ้าช้าเกินไปคุณสามารถใช้วิธีของนิวตันเพื่อสร้างการประมาณการที่มีความแม่นยำสูงได้อย่างรวดเร็ว
แต่นั่นเป็นเพียงการค้นหาใบรับรอง ยังคงมีคำถามว่าใบรับรองใดที่มีอยู่
ปิดครั้งแรกผมจะชี้ให้เห็นว่าคุณโดยตรงสามารถคำนวณหรือไม่สองของรากเป็นว่า หน่วยออกจากกันเช่นโดยการคำนวณGCD ( P ( x ) , P ( x - k ) ) คุณจะต้องตัดสินใจว่าคุณต้องการทำอะไรเกี่ยวกับการหยั่งรากซ้ำและจัดการอย่างเหมาะสม ฉันคิดว่าคุณจะจัดการกับกรณีเหล่านี้เป็นพิเศษkgcd(p(x),p(x−k))
หากเรารู้ว่ารากทั้งสองนั้นไม่แยกหน่วยแน่นอนนั่นหมายความว่าคุณสามารถประเมินความแม่นยำที่เพียงพอเพื่อพิสูจน์ว่าพวกเขานั้นมีค่ามากกว่าหรือน้อยกว่าหน่วยk เช่นมีใบรับรองสองชนิด:kk
ชนิดแรก (พิสูจน์ในเชิงลบ) คือ
- ไม่ใช่รากของ pap
- ไม่มีรากใน ( a - k , a )p(a−k,a)
- มีสามรากใน ( a , ∞ )p(a,∞)
ชนิดที่สอง (พิสูจน์ในเชิงบวก) คือ
- ไม่ใช่รากของ pap
- มีรากอย่างน้อยสองรากใน ( a - k , a )p(a−k,a)
- มีสองรากใน ( a , ∞ )p(a,∞)
ใบรับรองสามารถตรวจสอบได้โดยใช้ทฤษฎีบทของ Sturm ตอนนี้คำถามของคุณเกี่ยวกับขนาดของใบรับรองเดือดลงไปค้นพบวิธีการหลายบิตของความแม่นยำที่คุณต้องการที่จะเป็นตัวแทนa
ในคำอื่น ๆ สิ่งที่มีขอบเขตเกี่ยวกับค่าที่เป็นไปได้ของ- ข- kที่, Bเป็นรากของฉ ?a−b−ka,bf
ฉันไม่แน่ใจว่าวิธีการที่ยอดเยี่ยม แต่สิ่งหนึ่งที่ควรให้บางสิ่งแก่คุณคือการสังเกตว่าค่าเหล่านี้ทั้งหมดเป็นรากของพหุนาม:
g(x)=Resy(f(y),f(x+y+k))
ทำไม? จำได้ว่าผลลัพธ์ของพหุนาม monic สองอันเป็นผลผลิตของความแตกต่างทั้งหมดของรากดังนั้น
g(x)=cd2∏a,b(b−(a−x−k))=∏a,b(x−(a−b−k))
cdf−g(x)g(x); I'm never sure on the sign)
So the question is to find estimates for how large the coefficients g can be, and then once you know that, find estimates to how close a root of g can be to zero.
(or, alternatively, find the largest magnitude that a root of the reverse polynomial of g can have; the roots of the reverse polynomial are the inverses of the roots of g)