เอกลักษณ์ของเบซู

จาก testwiki
ไปยังการนำทาง ไปยังการค้นหา

เอกลักษณ์ของเบซู (แม่แบบ:Langx) เป็นทฤษฎีบทในทฤษฎีจำนวนพื้นฐาน

กำหนดให้ a และ b เป็นจำนวนเต็มที่ไม่ใช่ศูนย์ทั้งสองตัว d เป็นตัวหารร่วมมากของ a และ b
จะมีจำนวนเต็ม x และ y ที่ ax+by=d

นอกจากนี้

  1. d เป็นจำนวนเต็มบวกค่าน้อยสุดที่เขียนอยู่ในรูป ax+by
  2. ทุกจำนวนเต็มในรูป ax+by เป็นพหุคูณของ d เรียก x และ y ว่า สัมประสิทธิ์ของเบซู ของ (a,b) สัมประสิทธิ์ของเบซูไม่ได้มีเพียงคู่เดียว เพราะสามารถคำนวณจากส่วนขยายขั้นตอนวิธีของยุคลิด ถ้าทั้ง a and b ไม่เป็นศูนย์ ส่วนต่อขยายขั้นตอนวิธียุคลิดให้หนึ่งค่าจากสองค่าที่ |x|<|bd| และ |y|<|ad|

ทฤษฎีบทนี้เป็นจริงในโดเมนไอดีลมุขสำคัญทุกโดเมน แต่มีอินทริกัลโดเมนที่ทฤษฎีบทไม่เป็นจริง