Рівняння Безу

Ця стаття про теорему Безу в арифметиці. Про теорему Безу в алгебраїчній геометрії див. Теорема Безу (алгебрична геометрія).

В елементарній теорії чисел, тотожність (рівняння) Безу (також використовують назву лема Безу) це наступна теорема:

Тотожність Безу. Нехай $a$ i $b$ цілі числа з найбільшим спільним дільником $d$ . Тоді існують цілі числа $x$ і $y$ такі, що $ax+by=d$ . Більш точніше, цілі числа вигляду $ax+by$ є дільниками $d$ .

Найбільшим спільним дільником двух нулів прийнято вважати 0. Цілі числа $x$ i $y$ називаються коефіцієнтами Безу для $(a,b)$ ; вони не єдині. Пара коефіцієнтів Безу може бути обчислена за допомогою розширеного алгоритму Евкліда i ця пара є однією з двох пар таких, що $|x|\leq |b/d|$ і $|y|\leq |a/d|$ . Рівність може мати місце лише за умови, що одне з $a$ або $b$ є кратним іншому.

Як приклад, найбільшим спільним дільником 15 i 69 є 3, i можна записати $15\cdot (-9)+69\cdot 2=3$ .

Багато інших теорем в елементарній теорії чисел, таких як Лема Евкліда або китайська теорема про остачі, є наслідками рівняння Безу.

Кільце Безу — це область цілісності, в якій виконується рівняння Безу. Зокрема, рівняння Безу виконується в області головних ідеалів. Таким чином, кожна теорема, яка випливає з рівняння Безу, є справедливою у всіх цих областях.

Структура розв’язку ред.

Якщо $a$ i $b$ не є одночасно нулями, i одна пара коефіцієнтів Безу $(x,y)$ була знайдена (наприклад, за допомогою розширеного алгоритму Евкліда), то усі пари можна представити у вигляді

\left(x-k{\frac {b}{d}},\ y+k{\frac {a}{d}}\right),

де $k$ — довільне ціле число, $d$ — найбільший спільний дільник чисел $a$ та $b$ , i дроби спрощено до цілих чисел.

Якщо обидва $a$ i $b$ ненульові, тоді рівно дві з цих пар коефіцієнтів Безу задовольняють умови

|x|\leq \left|{\frac {b}{d}}\right|\quad {\text{та}}\quad |y|\leq \left|{\frac {a}{d}}\right|,

а рівність може мати місце лише в тому випадку, якщо одне з $a$ та $b$ ділить інше. Це випливає з властивості ділення з остачею: нехай задано два ненульових цілих числа $c$ i $d$ , якщо $d$ не ділить $c$ , то є рівно одна пара $(q,r)$ така, що $c=dq+r$ та $0<r<|d|$ , та іще одна пара така, що $c=dq+r$ та $|d|<r<0$ .

Дві пари малих коефіцієнтів Безу, які отримують із відомої пари $(x,y)$ зафіксувавши $k$ у наведеній вище формулі, будь-яке з двох цілих чисел найближчих до ${\frac {x}{b/d}}$ .

Розширений алгоритм Евкліда завжди дає одну з цих двох мінімальних пар.

Приклад ред.

Нехай $a=12$ i $b=42$ , тоді ${\text{НСД}}(12,42)=6$ i маємо наступні рівняння Безу, де червоним позначено коефіцієнти Безу для мінімальних пар i синім для інших:

{\begin{aligned}\vdots \\12&\times ({\color {blue}{-10}})&+\;\;42&\times \color {blue}{3}&=6\\12&\times ({\color {red}{-3}})&+\;\;42&\times \color {red}{1}&=6\\12&\times \color {red}{4}&+\;\;42&\times ({\color {red}{-1}})&=6\\12&\times \color {blue}{11}&+\;\;42&\times ({\color {blue}{-3}})&=6\\12&\times \color {blue}{18}&+\;\;42&\times ({\color {blue}{-5}})&=6\\\vdots \end{aligned}}

Якщо $(x,y)=(18,-5)$ — початкова пара коефіцієнтів Безу, тоді ${\frac {18}{42/6}}\in [2,3]$ визначає мінімальну пару для $k=2$ та $k=3$ тобто $(18-2\cdot 7,-5+2\cdot 2)=(4,-1)$ i $(18-3\cdot 7,-5+3\cdot 2)=(-3,1).$

Доведення ред.

Нехай задано будь-які ненульові цілі числа $a$ та $b$ i нехай $S=\{ax+by\mid x,y\in \mathbb {Z} {\text{ і }}ax+by>0\}$ . Множина $S$ не є порожньою, оскільки вона включає або $a$ , або $-a$ (з $x=\pm 1$ та $y=0$ )Оскільки $S$ — непорожня множина натуральних чисел, то вона має мінімальний елемент $d=as+bt$ принципом цілковитого впорядкування^[en]. Щоб довести, що $d$ — найбільший спільний дільник $a$ та $b$ , треба довести, що $d$ — спільний дільник $b$ та $b$ , i що для будь-якого іншого спільного дільника $c$ виконується нерівність $c\leq d$ .

Відповідно до алгоритму Евкліда ділення з остачею $a$ на $d$ отримуємо, що

a=dq+r\quad {\text{з}}\quad 0\leq r<d.

Остача $r$ належить $S\cup \{0\}$ , оскільки

{\begin{aligned}r&=a-qd\\&=a-q(as+bt)\\&=a(1-qs)-bqt.\end{aligned}}

Таким чином, $r$ має вигляд $ax+by$ , i отже $r\in S\cup \{0\}$ . Але $0\leq r<d$ і $d$ — найменше натуральне число в $S$ : отже, остача $r$ не може належати $s$ , тому обов’язково $r=0$ . Це означає, що $d$ — дільник $a$ . Аналогічно, $d$ також є дільником $b$ , і $d$ — спільний дільник $a$ та $b$ .

Нехай $c$ — будь-який спільний дільник $a$ та $b$ ; тобто існують такі $u$ та $v$ , що $a=cu$ і $b=cv$ . Таким чином,

{\begin{aligned}d&=as+bt\\&=cus+cvt\\&=c(us+vt).\end{aligned}}

Тобто $c$ — дільник $d$ , а отже, $c\leq d$ .

Узагальнення ред.

Для трьох або більше цілих чисел ред.

Тотожність Безу можна узагальнити на випадок більш ніж двох цілих чисел: якщо

{\text{НСД}}(a_{1},a_{2},\dots ,a_{n})=d,

тоді є цілі числа $x_{1},x_{2},\dots ,x_{n}$ такі, що

d=a_{1}x_{1}+a_{2}x_{2}+\cdots +a_{n}x_{n}

має наступні властивості:

$d$ — найменше натуральне число такого вигляду,
будь-яке число такого вигляду кратне $d$ .

Для многочленів ред.

Тотожність Безу працює i у випадку многочленів однієї змінної над деяким полем точно так само, як i для цілих чисел. Зокрема, коефіцієнти Безу та найбільший спільний дільник можуть бути обчислені за допомогою розширеного алгоритму Евкліда.

Оскільки спільні корені двох многочленів є коренями їх найбільшого спільного дільника, то тотожність Безу i основна теорема алгебри дають наступний результат:

Для многочленів $f$ i $g$ однієї змінної i з коефіцієнтами над деяким полем існують поліноми $a$ i $b$ такі, що $af+bg=1$ , тоді i лише тоді, якщо $f$ i $g$ не мають спільного кореня в будь-якому алгебраїчно замкненому полі (зазвичай це поле комплексних чисел).

Узагальнення цього результату на випадок довільної кількості поліномів та невизначених рівнянь є Теорема Гільберта про нулі.

Для області головних ідеалів ред.

Як зазначено у вступі, тотожність Безу працює не тільки в кільці цілих чисел, але i в будь-якій іншій області головних ідеалів.Тобто, якщо $R$ — область головних ідеалів, $a$ і $b$ — елементи $R$ , i $d$ є найбільшим спільним дільником $a$ і $b$ , тоді в $R$ є елементи $x$ і $y$ такі, що $ax+by=d$ . Причина у тому, що ідеал $Ra+Rb$ є головним i дорівнює $Rd$ .

Область цілісності в якій виконується тотожність Безу називається кільцем Безу.

Історія ред.

Французький математик Етьєн Безу (1730–1783) довів цю тотожність для поліномів.^[1] Однак це твердження для цілих чисел можна знайти вже в роботі іншого французького математика, Клода Гаспара Баше де Мезиріака^[en] (1581–1638).^[2]^[3]^[4]

Див. також ред.

Примітки ред.

↑ Bézout, É. (1779). Théorie générale des équations algébriques. Paris, France: Ph.-D. Pierres.
↑ Tignol, Jean-Pierre (2001). Galois' Theory of Algebraic Equations. Singapore: World Scientific. ISBN 981-02-4541-6.
↑ Claude Gaspard Bachet (sieur de Méziriac) (1624). Problèmes plaisants & délectables qui se font par les nombres (вид. 2nd). Lyons, France: Pierre Rigaud & Associates. с. 18—33. На цих сторінках Баше доводить (без рівнянь) "Proposition XVIII. Deux nombres premiers entre eux estant donnez, treuver le moindre multiple de chascun d’iceux, surpassant de l’unité un multiple de l’autre." (Для заданих двох взаємнопростих чисел знайти найменше кратне кожного з них таке, що одне перевищує інше на одиницю.) Ця задача (а саме, $ax-by=1$ ) є окремим випадком рівняння Безу i була використана Баше для розв’язання проблем, що з’являються на сторінках 199 i далі.
↑ Див. також: Maarten Bullynck (February 2009). Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany (PDF). Historia Mathematica. 36 (1): 48—72. doi:10.1016/j.hm.2008.08.009.

Зовніші лінки ред.

Онлайн-калькулятор для рівняння Безу.
Weisstein, Eric W. Bézout's Identity(англ.) на сайті Wolfram MathWorld.

[1] Bézout, É. (1779). Théorie générale des équations algébriques. Paris, France: Ph.-D. Pierres.

[2] Tignol, Jean-Pierre (2001). Galois' Theory of Algebraic Equations. Singapore: World Scientific. ISBN 981-02-4541-6.

[3] Claude Gaspard Bachet (sieur de Méziriac) (1624). Problèmes plaisants & délectables qui se font par les nombres (вид. 2nd). Lyons, France: Pierre Rigaud & Associates. с. 18—33. На цих сторінках Баше доводить (без рівнянь) "Proposition XVIII. Deux nombres premiers entre eux estant donnez, treuver le moindre multiple de chascun d’iceux, surpassant de l’unité un multiple de l’autre." (Для заданих двох взаємнопростих чисел знайти найменше кратне кожного з них таке, що одне перевищує інше на одиницю.) Ця задача (а саме, $ax-by=1$ ) є окремим випадком рівняння Безу i була використана Баше для розв’язання проблем, що з’являються на сторінках 199 i далі.

[4] Див. також: Maarten Bullynck (February 2009). Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany (PDF). Historia Mathematica. 36 (1): 48—72. doi:10.1016/j.hm.2008.08.009.

[1]

[2]

[3]

[4]