Bézout's identity: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
en>D.Lazard
Fixing a minor error (see talk page)
en>Omnipaedista
add wikilink
 
Line 1: Line 1:
'''Bézout's identity''' (also called '''Bézout's lemma''') is a theorem in the elementary [[number theory|theory of numbers]]: let ''a'' and ''b'' be [[integer]]s, not both zero, and let ''d'' be their [[greatest common divisor]]. Then there exist integers ''x'' and ''y'' such that
== ....................................... ==
: <math> ax+by=d </math>
In addition, i) ''d'' is the smallest positive integer that can be written as
{{nowrap|''ax'' + ''by'',}}
and ii) every integer of the form
{{nowrap|''ax'' + ''by'' }}
is a multiple of ''d''. ''x'' and ''y'' are called '''Bézout coefficients''' for (''a'', ''b''); they are not unique. A pair of Bézout coefficients can be computed by the [[extended Euclidean algorithm]]. If both ''a'' and ''b'' are nonzero, the extended Euclidean algorithm produces one of the two pairs such that <math>|x|<\left |\frac{b}{d}\right |</math> and <math>|y|<\left |\frac{a}{d}\right |.</math>


Bézout's lemma is true in any [[principal ideal domain]], but there are [[integral domain]]s in which it is not true.
DUリーダーは、シークレットサービスが笑うので、深遠であるすべての人の記憶に泣いていたようにすると約束した [http://www.dmwai.com/webalizer/kate-spade-9.html バッグ ケイトスペード]。<br><br>「私は2つに行くに見える？ '<br>本物の明るい<br>MA鵬目、徐部門はこれは彼がチャンスと私の罪コンタクト接点を探してみましょう、の意味である。これは、アイデアと一致している、とにかく麻薬局は、主要なシールチームに遭遇しない、美しい女性による場合の証拠のこの行は言い訳を外出し、自己取引は行っ [http://www.dmwai.com/webalizer/kate-spade-9.html ケイトスペード リボン バッグ]............<br><br>.......................................<br><br>.......................................<br><br>「彼らは静かに気づかれることなく、コーナーで待機して、暗い孤独な僧侶が好きです......」<br><br>'いいえ、不一致を有する可能性が高いフレーズ [http://www.dmwai.com/webalizer/kate-spade-4.html kate spade バッグ]......彼らは静かに来るの獲物を待って、暗い夜のハンターで歩いて好き [http://www.dmwai.com/webalizer/kate-spade-0.html ハンドバッグ ケイトスペード]......それは社会的な平和と調和を待って、自分自身を確保するために国民の財産である......」<br><br>が「適切ではない、どのように厄介な [http://www.dmwai.com/webalizer/kate-spade-0.html ハンドバッグ ケイトスペード]......」<br>結局、グリルが良い反応を報告した狩猟、パトロールシャトル数回言って、彼自身への通信を書か<br>ドラフト、深い人
相关的主题文章：
<ul>
 
  <li>[http://www.gentoo.net/cgi-bin/archive.cgi http://www.gentoo.net/cgi-bin/archive.cgi]</li>
 
  <li>[http://www.pseudodrom.com/cgi-bin/gaestebuch.cgi http://www.pseudodrom.com/cgi-bin/gaestebuch.cgi]</li>
 
  <li>[http://www.sqlcourse.com/cgi-bin/interpreter.cgi http://www.sqlcourse.com/cgi-bin/interpreter.cgi]</li>
 
</ul>


==History==
== 「私......」肖梦琪ガスは、笑っ微笑んで尋ねた罪の上に見えた ==


[[French people|French]] [[mathematician]] [[Étienne Bézout]] (1730–1783) proved this identity for polynomials.<ref>Bézout, [http://books.google.fr/books?id=FoxbAAAAQAAJ&hl=en&pg=PP5#v=onepage&q&f=false ''Théorie générale des équations algébriques''] (Paris, France: Ph.-D. Pierres, 1779).</ref> However, this statement for integers can be found already in the work of another French mathematician, [[Claude Gaspard Bachet de Méziriac]] (1581–1638).<ref>
スプリットの日付は、半ページを書いたどのくらい知っている、とコンピュータの画面開いているページの下にコピーしないでください [http://www.dmwai.com/webalizer/kate-spade-12.html ケイトスペード 財布 値段]。<br><br>黒いジャック、肖梦琪控えめで本格的、彼女の罪の上にむき出しに微笑んだ、彼に投げた： '私は柚子が大きい好きな、幽霊の少し怖いを書き出し、なぜ、ああ、ああ......あなたがこれをしない感じていないのですか？この結果は、現在の検査指向の教育を問うべきで、重大な問題がある。 '<br><br>「私......」肖梦琪ガスは、笑っ微笑んで尋ねた罪の上に見えた： '？。私はあなたのための同情を持っていないかを、まだ'<br><br>「感情が持つことができる、同情しない [http://www.dmwai.com/webalizer/kate-spade-2.html マザーズバッグ ケイトスペード]。「私は悪い笑罪。<br><br>'あなたは......これは、本当にあなたに上場廃止を与えるためにあえて呼び出す、私は、あなたが解雇されるべきで、非常に深刻だと思うされても、それに関係する二つの良い仲間Caoya傑とゆう風水のことができるようにしない楽しいことはありません。」Xiaomeng Qiはいえトピックは、1、これは、犯罪よりはためらいがちのようにウィンクこと、Xiaomeng [http://www.dmwai.com/webalizer/kate-spade-6.html ケイトスペード マザーズバッグ] Qiは妙に彼を見て、疑い深く尋ねた： [http://www.dmwai.com/webalizer/kate-spade-10.html ケイトスペード 財布 セール] 'あなたは気にならないですか？'<br><br>'あなたは確かに、私が緊急ではないん [http://www.dmwai.com/webalizer/kate-spade-10.html ケイトスペード財布評判]......知ってほしい
{{cite book | last=Tignol | first=Jean-Pierre | title=Galois' Theory of Algebraic Equations | publisher=World Scientific| location=Singapore | year=2001 | isbn=981-02-4541-6}}
相关的主题文章：
</ref><ref>
<ul>
{{cite book|author=Claude Gaspard Bachet (sieur de Méziriac)|title=Problèmes plaisants & délectables qui se font par les nombres|edition=2nd|location=Lyons, France|publisher=Pierre Rigaud & Associates|year=1624|pages= 18–33|url=http://www.bsb-muenchen-digital.de/~web/web1008/bsb10081407/images/index.html?digID=bsb10081407&pimage=38&v=100&nav=0&l=de}}  On these pages, Bachet proves (without equations) “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.”  (Given two numbers [which are] relatively prime, find the lowest multiple of each of them [such that] one multiple exceeds the other by unity (1).)  This problem (namely, ax - by = 1) is a special case of Bézout’s equation and was used by Bachet to solve the problems appearing on pages 199 ff.
 
</ref><ref>
  <li>[http://www.idyllarbor.com/research/search.cgi http://www.idyllarbor.com/research/search.cgi]</li>
See also: {{cite journal|date=February 2009|author=Maarten Bullynck|title=Modular arithmetic before C.F. Gauss: Systematizations and discussions on remainder problems in 18th-century Germany|doi=10.1016/j.hm.2008.08.009|journal=Historia Mathematica|volume=36|issue=1|pages=48–72|url=http://hal.inria.fr/docs/00/66/32/92/PDF/Gauss_Modular_Oct2008.pdf}}</ref>
 
  <li>[http://www.pkuschool.org/plus/feedback.php?aid=14 http://www.pkuschool.org/plus/feedback.php?aid=14]</li>
 
  <li>[http://zhonglaonianfuzhuang.com/plus/feedback.php?aid=115 http://zhonglaonianfuzhuang.com/plus/feedback.php?aid=115]</li>
 
</ul>


==Non-uniqueness of solutions==
== 1685 ==


After one pair of Bézout coefficients (''x'', ''y'') has been computed (using [[extended Euclidean algorithm]] or some other algorithm), all pairs have the form
病院の周りに歩いて、不審演技者数は、彼はいくつかの目に見えない場所で、犯罪が依然として続いていることを知っていた見て、窒息叫び日の患者の家族にお金を失っ彼の心、いつも明確な、影のように、蛇のように彼の心に残るされています [http://www.dmwai.com/webalizer/kate-spade-2.html マザーズバッグ ケイトスペード]。<br><br>煙は、ゆっくりと燃え、及びそのアイデアは、犯罪を構成する予想よりも多くの心の中に、彼はチャンスを取ることにした [http://www.dmwai.com/webalizer/kate-spade-10.html ケイトスペード 財布 セール]。<br>不注意<br>の間、羅Jialongは罪を​​見ている悲しい見て、両者の間のギャップは非常に遠く離れて見出されている、と彼は少しでも後悔、学生は泥水のツアーをドラッグしている。ケースはまた光景から、それはハリウッド市旅団も調査を落とす方法です。ロング彼は道路ながら、「私の子供、悲しいまでとにかくここに1日か2日でなくても、あれば、それを言うために。 [http://www.dmwai.com/webalizer/kate-spade-5.html ケイトスペード 財布 ゴールド] '<br><br>'。間違った'私は非常にイタリアの態度Luojia長い道のりのような吸い殻犯罪、犠牲者の凝視、投げた： [http://www.dmwai.com/webalizer/kate-spade-2.html マザーズバッグ ケイトスペード] 'あなたは、どのような目的のために、私は本当に前に気にしていなかったんが、いくつかのものは、ネットのために視界から外れている私の心はXiabu屈原ができ、見ていないときに有名な......、ここでは窃盗レベルは通りの層よりも有意に高かったですでした
:<math>\left(x+k\frac{b}{\gcd(a,b)},\ y-k\frac{a}{\gcd(a,b)}\right),</math>
相关的主题文章：
where {{math|''k''}} is an arbitrary integer and the fractions simplify to integers.
<ul>
 
 
Among these pairs of Bézout coefficients, exactly two of them satisfy
  <li>[http://car.ycen.com.cn/bbs/forum.php?mod=viewthread&tid=1113726 http://car.ycen.com.cn/bbs/forum.php?mod=viewthread&tid=1113726]</li>
:<math> |x| < \left |\frac{b}{\gcd(a,b)}\right |\quad \text{and}\quad |y| < \left |\frac{a}{\gcd(a,b)}\right |.</math>
 
This relies on a property of [[Euclidean division]]: given two integers ''c'' and ''d'', if ''d'' does not divide ''c'', there is exactly one pair {{math|(''q'',''r'')}} such that {{math|1=''c'' = ''dq'' + ''r''}} and {{math|1=0 < ''r'' < {{!}}''d''{{!}}}}, and another one such that {{math|1=''c'' = ''dq'' + ''r''}} and {{math|1=0 < -''r'' < {{!}}''d''{{!}}}}.
  <li>[http://www.scriptsearch.com/cgi-bin/jump.cgi http://www.scriptsearch.com/cgi-bin/jump.cgi]</li>
 
 
The Extended Euclidean algorithm always produces one of these two minimal pairs.
  <li>[http://www.health8.com/cgi-bin/yybbs/yybbs.cgi http://www.health8.com/cgi-bin/yybbs/yybbs.cgi]</li>
 
 
===Example===
</ul>
 
Let ''a'' = 12 and ''b'' = 42, gcd(12, 42) = 6. Then we have the following Bézout's identities, with the Bézout coefficients written in red for the minimal pairs and in blue for the other ones.
 
:<math>
\begin{align}
\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{align}
</math>
 
==Bézout's identity for several integers==
 
Bézout's identity can be extended to more than two integers: if
:<math>\gcd(a_1, a_2, \ldots, a_n) = d</math>
 
then there are integers <math>x_1, x_2, \ldots, x_n</math>
 
such that
 
:<math>d = a_1 x_1 + a_2 x_2 + \cdots + a_n x_n,</math>
 
has the following properties
# ''d'' is smallest positive integer of this form
# every number of this form is a multiple of ''d''
# ''d'' is a [[greatest common divisor]] of ''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub>, meaning that every common divisor of ''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub> divides ''d''
 
==Bézout's identity for polynomials==
{{main|Polynomial greatest common divisor#Bézout's identity and extended GCD algorithm}}
Bézout's identity works for [[polynomial]] in one [[indeterminate (variable)|indeterminate]] over a [[field (mathematics)]] exactly in the same ways as for integers. In particular the Bézout's coefficients and the greatest common divisor may be computed with the [[Extended Euclidean algorithm]].
 
As the common [[root of a polynomial|root]]s of two polynomials are the roots of their greatest common divisor, Bézout's identity and [[fundamental theorem of algebra]] imply the following result: ''Given two univariate polynomials f and g with coefficients in an field, there exist two polynomials a and b such that af'' + ''bg'' = 1 ''if and only if f and g have no common root in any [[algebraically closed field]] (commonly the field of [[complex number]]s)''.
 
The generalization of this result to any number of polynomials and indeterminates is [[Hilbert's Nullstellensatz]].
 
==Bézout's identity for principal ideal domains==
As noted in the introduction, Bézout's identity works not only in the [[ring (algebra)|ring]] of integers, but also in any other [[principal ideal domain]] (PID).
That is, if ''R'' is a PID, and ''a'' and ''b'' are elements of ''R'', and ''d'' is a greatest common divisor of ''a'' and ''b'',
then there are elements ''x'' and ''y'' in ''R'' such that ''ax'' + ''by'' = ''d''. The reason: the [[ideal (ring theory)|ideal]] ''Ra''+''Rb'' is principal and indeed is equal to ''Rd''.
An integral domain in which Bézout's identity holds is called a [[Bézout domain]].
 
==Proof==
Bézout's lemma is a consequence of the [[Euclidean division]] defining property, namely that the  division by a nonzero integer ''b'' has a [[remainder]] strictly less than |''b''|. The proof that follows may be adapted for any [[Euclidean domain]]. For given nonzero integers ''a'' and ''b'' there is a nonzero integer {{nowrap|''d'' {{=}} ''as'' + ''bt''}} of minimal absolute value among all those of the form ''ax'' + ''by'' with ''x'' and ''y'' integers; one can assume ''d'' &gt; 0 by changing the signs of both ''s'' and ''t'' if necessary. Now the remainder of dividing either ''a'' or ''b'' by ''d'' is also of the form ''ax'' + ''by'' since it is obtained by subtracting a multiple of {{nowrap|''d'' {{=}} ''as'' + ''bt''}} from ''a'' or ''b'', and on the other hand it has to be strictly smaller in absolute value than ''d''. This leaves 0 as only possibility for such a remainder, so ''d'' divides ''a'' and ''b'' exactly.
If ''c'' is another common divisor of ''a'' and ''b'', then ''c'' also divides ''as'' + ''bt'' = ''d''. Since ''c'' divides ''d'' but is not equal to it, it must be less than ''d''. This means that ''d'' is the greatest common divisor of ''a'' and ''b''; this completes the proof.
 
==See also==
* [[AF+BG theorem]], an analogue of Bézout's identity for homogeneous polynomials in three indeterminates
* [[Fundamental theorem of arithmetic]]
* [[Euclid's lemma]]
 
==Notes==
{{Reflist}}
 
==External links==
* [http://wims.unice.fr/wims/wims.cgi?module=tool/arithmetic/bezout.en Online calculator] of Bézout's identity.
* {{mathworld|urlname=BezoutsIdentity|title=Bézout's Identity}}
 
{{DEFAULTSORT:Bezouts Identity}}
[[Category:Diophantine equations]]
[[Category:Lemmas]]
[[Category:Articles containing proofs]]

Latest revision as of 12:56, 29 December 2014

.......................................

DUリーダーは、シークレットサービスが笑うので、深遠であるすべての人の記憶に泣いていたようにすると約束した バッグ ケイトスペード。

「私は2つに行くに見える？ '
本物の明るい
MA鵬目、徐部門はこれは彼がチャンスと私の罪コンタクト接点を探してみましょう、の意味である。これは、アイデアと一致している、とにかく麻薬局は、主要なシールチームに遭遇しない、美しい女性による場合の証拠のこの行は言い訳を外出し、自己取引は行っ ケイトスペード リボン バッグ............

.......................................

.......................................

「彼らは静かに気づかれることなく、コーナーで待機して、暗い孤独な僧侶が好きです......」

'いいえ、不一致を有する可能性が高いフレーズ kate spade バッグ......彼らは静かに来るの獲物を待って、暗い夜のハンターで歩いて好き ハンドバッグ ケイトスペード......それは社会的な平和と調和を待って、自分自身を確保するために国民の財産である......」

が「適切ではない、どのように厄介な ハンドバッグ ケイトスペード......」
結局、グリルが良い反応を報告した狩猟、パトロールシャトル数回言って、彼自身への通信を書か
ドラフト、深い人 相关的主题文章：

「私......」肖梦琪ガスは、笑っ微笑んで尋ねた罪の上に見えた

スプリットの日付は、半ページを書いたどのくらい知っている、とコンピュータの画面開いているページの下にコピーしないでください ケイトスペード 財布 値段。

黒いジャック、肖梦琪控えめで本格的、彼女の罪の上にむき出しに微笑んだ、彼に投げた： '私は柚子が大きい好きな、幽霊の少し怖いを書き出し、なぜ、ああ、ああ......あなたがこれをしない感じていないのですか？この結果は、現在の検査指向の教育を問うべきで、重大な問題がある。 '

「私......」肖梦琪ガスは、笑っ微笑んで尋ねた罪の上に見えた： '？。私はあなたのための同情を持っていないかを、まだ'

「感情が持つことができる、同情しない マザーズバッグ ケイトスペード。「私は悪い笑罪。

'あなたは......これは、本当にあなたに上場廃止を与えるためにあえて呼び出す、私は、あなたが解雇されるべきで、非常に深刻だと思うされても、それに関係する二つの良い仲間Caoya傑とゆう風水のことができるようにしない楽しいことはありません。」Xiaomeng Qiはいえトピックは、1、これは、犯罪よりはためらいがちのようにウィンクこと、Xiaomeng ケイトスペード マザーズバッグ Qiは妙に彼を見て、疑い深く尋ねた： ケイトスペード 財布 セール 'あなたは気にならないですか？'

'あなたは確かに、私が緊急ではないん ケイトスペード財布評判......知ってほしい 相关的主题文章：

1685

病院の周りに歩いて、不審演技者数は、彼はいくつかの目に見えない場所で、犯罪が依然として続いていることを知っていた見て、窒息叫び日の患者の家族にお金を失っ彼の心、いつも明確な、影のように、蛇のように彼の心に残るされています マザーズバッグ ケイトスペード。

煙は、ゆっくりと燃え、及びそのアイデアは、犯罪を構成する予想よりも多くの心の中に、彼はチャンスを取ることにした ケイトスペード 財布 セール。
不注意
の間、羅Jialongは罪を​​見ている悲しい見て、両者の間のギャップは非常に遠く離れて見出されている、と彼は少しでも後悔、学生は泥水のツアーをドラッグしている。ケースはまた光景から、それはハリウッド市旅団も調査を落とす方法です。ロング彼は道路ながら、「私の子供、悲しいまでとにかくここに1日か2日でなくても、あれば、それを言うために。 ケイトスペード 財布 ゴールド '

'。間違った'私は非常にイタリアの態度Luojia長い道のりのような吸い殻犯罪、犠牲者の凝視、投げた： マザーズバッグ ケイトスペード 'あなたは、どのような目的のために、私は本当に前に気にしていなかったんが、いくつかのものは、ネットのために視界から外れている私の心はXiabu屈原ができ、見ていないときに有名な......、ここでは窃盗レベルは通りの層よりも有意に高かったですでした 相关的主题文章：

Retrieved from "https://en.formulasearchengine.com/index.php?title=Bézout%27s_identity&oldid=218871"