Theorema of Bezout: Finding f & e with Examples

  • Thread starter Thread starter marlon
  • Start date Start date
AI Thread Summary
The discussion centers on the Theorema of Bezout, which states that for two polynomials a and b with distinct factors, one can find polynomials f and e such that a*e + b*f = 1. Participants explore methods to find these polynomials, referencing the Euclidean algorithm as a foundational approach for integers and extending its principles to polynomials. An example using integers illustrates the process of finding coefficients through division and back-substitution. The conversation also touches on the relationship between Bezout's theorem and the number of intersection points of polynomial curves. Overall, the thread emphasizes the connection between polynomial operations and the concepts established by Euclid and Bezout.
marlon
Messages
3,779
Reaction score
11
I have a question on the theorema of Bezout. It states that for two given polynomes a and b with all different factors we can find two new polynomes f and e so that a*e+b*f=1.


The question is : how do you find e and f. Perhaps someone can give me an example of how this is done using real numbers,...just a suggestion though

regards
marlon
 
Mathematics news on Phys.org
A thread was discussed for the gcd version of this theorem ...
I think wherein matt grime , gokul and i had some ideas on finding the e and f (integers) Prolly the same line of attack can be used. I don't recall which thread was it ... I will try to find it or hopefully some one else does if i can't ...

-- AI
 
Anybody got any ideas...

Tenali, can you give me a link?

regards
marlon
 
suppose you have two integers n,m with no common factors except 1 and -1, and pose the same question. then you can find two integers a and b such that an+bm = 1. (This is due to Euclid, more than one thousand years before bezout, and his argument works also for relatively prime polynomials. The theorem of bezout relates to two polynomials in two variables and asks how many common points their curves of zeroes can have in the plane.)

anyway all you have to do is divide the samller one by the alreger one, and then repeat this with the remainder, until finally you get down to one.

this is called the euclidean algorithm.


example: take 39 and 28. divide 39 by 28 get 39 = 1(28) +11. then divide 28 by 11, and get 28 = 2(11) + 6. then divide 11 by 6 and get 11 = 1(6) + 5, then divide 6 by 5 and get 6 = 1(5) + 1.

now that the remainder is finally 1, work backwards through the equations to the beginning.

i.e. 1 = 6-5, and since 5 = 11-6, we get that 1 = 6 -(11-6) = 2(6) -11.

and now since 6 = 28 - 2(11) we get 1 = 2(6) -11 = 2(28 - 2(11)) - (11)

= 2(28) -5(11) and since 11 = 39-28 we get 1 = 2(28) - 5(39-28)

= 7(28) - 5(39), i.e. 1 = 7(28) -5(39). now we check it of course since i could be wrong.

140+56 = 196, and 150 +45 = 195. it checks.

the same thing works if you divide the polynomials, provided you use coefficients from a field like the rationals or the reals.

i.e. the key point is that the ring of polynomials over a field forms a euclidean domain.

in order to involve bezout i would suggest that he may well have proved that for polynomials of two variables, say f,g with no common factors, polynomials in x,y, there are two polynomials A,B also in x,y, such that Af+Bg = R(x), where R is a polynomial only in x, called the resultant, but this is usually regarded as due to Euler. Anyway it leads to a proof of bezouts theorem on the number of intersections of the zeroes of f,g, since where f,g, are both zero, then R must be zero, so this let's us find the x coordinates of the poiunts that the curves f=0 and g=0 have in common.
 
Last edited:
thanks mathwonk...

marlon
 
it is a pleasure to be of help.
 
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top