mixedmath

Explorations in math and programming
David Lowry-Duda



Firstly, there are three administrative notes.

  1. I've posted the first homework set. This is due on Thursday, and you can find it here.
  2. I haven't set official office hour times yet. But I will have office hours on Monday from noon to 2pm on Monday, 1 Feb 2016, in my office at the Science Library.
  3. If you haven't yet, I encourage you to read the syllabus.

We mentioned several good and interesting "number theoretic" problems in class today. I'd like to remind you of some of them, and link you to some additional places for information.

Pythagorean Theorem

We've found all primitive Pythagorean triples in integers, which is a very nice theorem for an hour. But I also mentioned some of the history of the Pythagorean Theorem and the significance of numbers and number theory to the Greeks.

I told the class a story about how the Pythagorean student who revealed that there were irrational numbers was stoned. This is apocryphal. In fact, there is little exact record, but his name was Hippasus and it is more likely that he was drowned for releasing this information.

For this and other reasons, the Pythagorean school of thought split into two sects, one from Pythagoras and one from Hippasus.

Goldbach's Conjecture

Is it the case that every even integer is the sum of two primes? We think so. But we do not know.

I mentioned the Ternary Goldbach Conjecture, also known as the Weak Goldbach Conjecture, which says that every odd integer greater than $5$ is the sum of three odd primes. This was proved very recently. If you're interested in what a mathematical paper looks like, you can give this paper a look. [Do not expect to be able to understand the paper — but it is interesting what sorts of tools can be used towards number theory]

Fermat's Last Theorem

Are there nontrivial integer solutions to $X^n + Y^n = Z^n$ where $n \geq 3$?

This is one of the most storied and studied problems in mathematics. I think this has to do with how simple the statement looks. Further, we managed to fully classify all solutions when $n = 2$ in one class period. It doesn't seem like it should be too hard to extend that to other exponents, does it?

If time and interest permits, we will return to this topic at the end of the course. There is no way that we could present a proof, or even fully motivate the proof. But we might be able to say a few words about how progress towards the theorem spurred and created mathematics, and maybe we can give a hint of the breadth of the ideas used to finally produce a proof.

Twin Prime Conjecture

Are there infinitely many primes $p$ such that $p+2$ is also prime? We think so, but we don't know. Two years ago, we had absolutely no idea at all. Then Yitang Zhang had a brilliant idea (and not much later a graduate student named James Maynard had another brilliant idea) which allowed some sort of progress.

This culminated with the Polymath8 Project Bounded Gaps Between Primes. Math can be a social sport, and the polymath projects are massively collaborative online and open projects towards math problems. They're still a bit new, and a bit experimental. But Polymath8 is certainly extremely successful.

What is known is that there exists at least one even number $H \leq 246$ such that $p$ and $p + H$ is prime infinitely often. In fact, James Maynard showed that you can make more complicated ensembles of prime distances.

The ideas that led to this result can likely be sharpened to give better results, but actually proving that there are infinitely many twin primes is almost certainly going to require a brand new idea and methodology.

The best related result comes from Chinese mathematician Chen Jingrun, who proved that every sufficiently large even integer can be written either as a sum of two primes, or as a sum of a prime and a number with exactly two prime factors. Although this seems very close, it is also likely that this idea cannot be sharpened further.

Writing Numbers as Sums of Squares, Cubes, and So On

Can every integer be written as the sum of three squares? What about four squares? More generally, is there a number $n$ so that every integer can be written as a sum of at most $n$ squares?

Similarly, is there a number $n$ so that every integer can be written as a sum of at most $n$ cubes? What about fourth powers?

These problems are all associated to something called Waring's Problem, about which much is known and much is unknown.

We also asked which primes can be written as a sum of two squares. Although we might have a hard time finding those primes right now, you might try to show that if $p$ is a prime that can be written as a sum of two squares, then either $p$ is $2$, or $p = 4z + 1$ for some integer $z$. The reasoning is very similar to some of the reasoning done in class today.

Max's Conjecture

For primitive Pythagorean triples $(a,b,c)$ with $a^2 + b^2 = c^2$, we showed that we can restrict out attention to cases where $a$ is odd, $b$ is even, and $c$ is odd. Max conjectured that those $c$ on the right are always of the form $4k + 1$ for some $k$, or equivalently $c$ is always an integer that leaves remainder $1$ after being divided by $4$.

We didn't return to this in class, but we can now. First, note that since $c$ is odd, we can write $c$ as $2z + 1$ for some $z$. But we can do more. We can actually write $c$ as either $4z + 1$ or $4z + 3$. (Can you prove this?)

Max conjectured that it is always the case that $c = 4z + 1$. So we might ask, "What if $c = 4z + 3$?"

Writing $a = 2x + 1$ and $b = 2y$, we get the equation

$$ \begin{align} a^2 + b^2 &= c^2 \\ 4x^2 + 4x + 1 + 4y^2 &= 16z^2 + 24z + 9, \end{align}$$

which can be rewritten as $$ 4x^2 + 4x + 4y^2 = 16z^2 + 24z + 2.$$ You can divide by $2$. Then we ask: what's the problem? Why is this bad? (It is, and it's very similar to some questions we asked in class.)

So Max's Conjecture is true, and every number appearing as $c$ in a primitive Pythagorean triple is of the form $c = 4z + 1$ for some integer $z$.


Leave a comment

Info on how to comment

To make a comment, please send an email using the button below. Your email address won't be shared (unless you include it in the body of your comment). If you don't want your real name to be used next to your comment, please specify the name you would like to use. If you want your name to link to a particular url, include that as well.

bold, italics, and plain text are allowed in comments. A reasonable subset of markdown is supported, including lists, links, and fenced code blocks. In addition, math can be formatted using $(inline math)$ or $$(your display equation)$$.

Please use plaintext email when commenting. See Plaintext Email and Comments on this site for more. Note also that comments are expected to be open, considerate, and respectful.

Comment via email

Comments (2)
  1. 2018-06-09 Trm2slo

    Is the right side of eq (2) correct? Should the3 be a 9?

  2. 2018-06-09 davidlowryduda

    Yes, you're right. Thank you for pointing that out. I've now edited it.