Toggle Menu [-]

Gauss-Lucas Theorem

Published by Angel on Sunday, February 28, 2010 - 22:29:55 - Filed under Convex Sets

Im back with a very known theorem, I like it a lot, even if the proof is already on the Wikipedia Id like to write it here with an example because its a direct consequence of the Convex Hull post I wrote before.
———————-
Gauss-Lucas Theorem:
The roots of the derivative of a non constant complex polynomial belong to the convex hull generated by the roots of the polynomial.

Proof:
Let polynom.gif
Since we know that derivoverorig.gif where z1,…,zn are the roots of the polynomial .

We can also write root.gif
Now:
newderivoorig.gif
If z is a root of the derivative, then:
0eqbaroverprime.gif This means that:
0wbeqoverprime.gif
Then :
despziprimefac.gif
Which means:
factzright.gif
Then:
zeqalot.gif

But with this we know that z is a convex combination of all the roots, this is because :
1eqalot.gif
Then by this we know that z is in the convex hull of convexhullz1zn.gif

QED.

Example:
Proof that the diameter of the set of roots of the polynomial :
polyexamplez.gif cannot be less than diameterlessz.gif

Proof:
We know that doublederivz.gif:
Now we just use that:
root1chich.gif and root2chich.gif
Now its clear that:
resultabsz1z2.gif.
Since the roots of the derivative are inside the convex hull generated by the roots of the original polynomial, then the diameter between them cannot be less than the diameter between the set of the roots of the second derivative of the polynomial.

—————-
The example was one of the problems on my exam. Good luck I liked this theorem and I didnt forget about it :).

Number theory - Möbius function

Published by Angel on Friday, February 19, 2010 - 02:20:52 - Filed under Notes, Number theory

I like this function a lot, proposition is not THAT interesting but whatevs
———-
Lets define the Möbius function as:
mob.gif

Proposition:

mun.gif is multiplicative and summu.gif

Proof:

Let gcd(m,n)=1

If asdm.gif or a2dnta2dmn.gif
Then mumn.gif

If mp1pr.gif , nq1qs.gif, then
mumnm1.gif

If n or m = 1 proof is clear.

Now, let fsummu.gif, since mun.gif is multiplicative then F(n) is multiplicative.

It is clear that f1.gif

Also:

largef.gif.

( Möbius function is 0 on palpha2.gif )

Now, if we use prime factorization on n, if n>1:

fnfpr.gif we can do this because F(n) is multiplicative.

——–
I <3 Möbius function

Convex sets - Convex Hull

Published by Angel on Wednesday, February 17, 2010 - 07:08:41 - Filed under Notes, Convex Sets

First post is on basic convex set theory, I liked this because it was simple, demonstration was not very hard either.

The convex hull for a set A ( Im using real A a subset of r.gif ) is the minimal convex set that contains A.
We’ll now define:

pconvex.gif

Lemma:

Let pointconvex.gif with A a convex set and pointinpk.gif then pina.gif

Proof:

We’ll use induction over k.
If k=1 then x*1 is in A ( we choose x that way ).
Now we’ll asume that it works for every k.
Now, let xconvex.gif where pinpk1.gif and xina.gif

We wanna see that x is in A.

Since pinpk1.gif then at least there is one pil1.gif, lets say its pk1l1.gif.

Let lambdaconvex.gif
and
yconvex.gif.

Then we know by our induction hypothesis that y is in A .
Now, since A is a convex set and yxk1ina.gif then xinaa.gif.

This shows that x is in A.

Definition:

A point xinrn.gif its a convex combination of points x1xninrn.gif if there is pointinpk.gif such that xeqp1pk.gif

Theorem:

Let ainrn.gif then c(A) ( The convex hull of the set A ) is the set of all convex combinations of all points in A.

Proof:

Let B the set of all convex combinations of points in A.
We now have to show that B=c(A) (convex hull of A )

1)

Let x be an element of B, then xeqp1pk.gif with x1xkina.gif and pointinpk.gif, since A is in c(A) then x1xkinca.gif , then p1x1pkxkinca.gif because c(A) is convex.
This shows that bsubca.gif.

2)

Note that if B is a convex set then A is a subset of B,this is because if x is in A then there is a pinp1.gif such that px will be on B. Then c(A) is a subset of B

We have to show that B is convex.

Let x and y be in B
Then xeqp1pk.gif and yeqq1qr.gif where x1yrina.gif and pointinpk.gif and pointinpr.gif.
Let oparamxy.gif with lambmugeq0.gif such that lambmueq1.gif
Then omegaeqpxqy.gif, it is clear now that lpmqeq1.gif
This shows that omegainb.gif, which means B is convex.

Then B=c(A).

——-
‘Till next time :)

New blog

Published by Angel on Saturday, February 13, 2010 - 02:47:00

The old blog has been down for about 3 weeks and I decided to give it a fresh start.

Old site was about giving application to pure mathematics, but I decided I’ll just use this for notes and results and demonstrations I find interesting.

Ill try to update as much as I can.

Angel.