Category Archives: Math.HO

A month, you say?

Much has changed in the last month.

I moved to Rhode Island and began grad school. That’s a pretty big change. I’m suddenly much more focused in my studies again (undeniably a good thing), figuring out what I will do. Solid.

And I’m struggling to get acquainted with the curious structure of classes at Brown. There are many, many calculus classes here, for example. As a tutor, I’m somewhat expected to know these things. Classes on differentiation, integration, fast-paced and (maybe) slow-paced versions, calc I but with vectors incorporated – all of these fell under the blanket heading of Calc I at Georgia Tech. And my feelings are mixed. It’s an interesting idea. The general freedom to make mistakes at Brown is something that I firmly stand behind, though.

But there is one thing that I think is very poorly done – why is there not more interdepartmental cooperation? Brown is an ivy, and we’re close to many other schools that are excellent at many things in math. Why is there no form of cooperation between these universities? This is something that I absolutely must change. Somehow. I’ll work on that.

Ok, let’s actually do some math.

I recently came across a fun paper, The Fundamental Theorem of Algebra: A Most Elementary Proof, by Oswaldo Rio Branco de Oliveira on proving the Fundamental Theorem of Algebra with no bells, whistles, or ballyhoo in general. All that is assumed is the Bolzano-Weierstrass Theorem and that polynomials are continuous. Here is the gist of the proof.

THEOREM: Let $latex P(z) = a_0 + a_1 z + … + a_n z^n, a_n \not = 0,$ be a complex polynomial with degree $latex n geq 1$. Then P has a zero.

Proof: We have that $latex |P| \geq | |a_n| |z|^n – |a_{n-1}||z|^{n-1} – … – |a_0||z||$, and so $latex \lim_{|z| \to \infty} |P(z)| = \infty$. By continuity, $latex |P|$ has a global minimum at some $z_0 \in \mathbb{C}$. We suppose wlog that $latex z_0 = 0$. Then $latex |P(z)|^2 – |P(0)|^2 \geq 0 \forall z \in \mathbb{C}$. Then we may write $latex P(z) = P(0) + z^k Q(z)$ for some $latex k \in \{1, …, n \}$, and where $latex Q$ is a polynomial and $latex Q(0) \neq 0$ (the idea being that one factored that part out already).

Pick some $latex \zeta \in \mathbb{C}$ and substitute $latex z = r \zeta, r \geq 0$ into the above inequality and dividing by $latex r^k$, we get: $latex 2 \mathrm{Re} [ \overline{P(0)} \zeta ^k Q(r \zeta)] + r^k |\zeta ^k Q(r \zeta )|^2 \geq 0 \forall r > 0, \forall \zeta$. The left side is a continuous function of r for nonnegative r, and so taking the limit as $latex r \to 0$, one finds $latex 2 \mathrm{Re} [ \overline{P(0)} \zeta ^k Q(0)] \geq 0, \forall \zeta$.

Now suppose $latex \alpha := \overline{P(0)}Q(0) = a + b i$. For $latex k$ odd, setting $latex \zeta = \pm 1$ and $latex \zeta = \pm i$ in this inequality lets us conclude that $latex a = b = 0$. So then we have $latex P(0) = 0$, and the odd case is complete. Now before I go on, I give a brief lemma, which I’ll not prove here. But it just requires using binomial expansions and keeping track of lots of exponents and factorials.

Lemma (credit given to Estermann): For $latex \zeta = \left( 1 + \frac{i}{k} \right)^2$ and $latex k \geq 2$, even, we have that $latex \mathrm{Re}[\zeta ^k] < 0 < \mathrm{Im} [\zeta ^k]$

For k even, we don’t have the handy cancellation that we used above. But let us choose $latex \zeta$ as in this lemma, and write $latex \zeta ^k = x + iy; \quad x < 0, y > o$. Then we can substitute $latex \zeta ^ k$ and $latex \overline{ \zeta ^k}$ in the inequality, and a little work shows that $latex \mathrm{Re}[\alpha (x \pm iy)] = ax \mp by \geq 0$. So $latex ax \geq 0$ and since $latex x < 0$, we see $latex a \leq 0$. But then $latex a = 0$. Similarly, we get $latex b = 0$ after considering $\mp by \geq 0$. Then we again see that $P(0) = 0$, and the theorem is proved as long as you believe Etermann’s Lemma.

I like it when such results have relatively simple proofs. The first time I came across the FTA, we used lots of machinery to prove it. Some integration and differentiation on series, in particular.

And now that I’m vaguely settled and now that I see new things routinely, perhaps I’ll update this more. Not at Tao-pace, but something.

Posted in Expository, Math.CV, Math.HO, Mathematics | Tagged , , , , , , , | Leave a comment