## Greetings

This is a (*very* limited) wiki on proofs. I've always been interested in proofs, since they seem both precise and vague, obvious and enigmatic at the same time.

I started out rewriting proofs I've read, including proofs of why the square root of 2 is irrational and why the number of primes is infinite. Another proof looks at the Fundamental Theorem of Arithmetic.

Standard condensed proofs are difficult to read, so I've expanded upon them using a kind of statementâ€“challenge approach. Someone claims *X* and the demand rings out: “Why?” The chain of *Why*s continues for a while (but not forever!).

For my exposition of the Fundamental Theorem of Algebra I used a conclusion-first kind of explanation as I worked through some equations, but the general explanation used a more start-to-finish point-form structure on two levels: a quick overview and a somewhat more detailed one.

Latest proof is a rewrite of a proof I read about linearly independent automorphisms in Galois theory, and that old chestnut, the Pythagorean theorem (new rewrite uses a chain of *Because*s).

I also tried out a proof calculator Jape a while ago.

Remember… I'm not an expert. I have no math degree. Take all this with a grain (or bucket) of salt. If this (sometimes sloppy) reordering of proof steps is helpful while you have a standard proof beside you, then I'm happy.

## The Image

The pictures show two pages from a 19th-century edition of the first six books of Euclid's *Elements*. A copy of the book was digitized by the University of British Columbia's Digital Mathematics Archive. As the site notes,

An unusual and attractive edition of Euclid was published in 1847 in England, edited by an otherwise unknown mathematician named Oliver Byrne. It covers the first 6 books of Euclid, which range through most of elementary plane geometry and the theory of proportions. What distinguishes Byrne's edition is that he attempts to present Euclid's proofs in terms of pictures, using as little text - and in particular as few labels - as possible. What makes the book especially striking is his use of colour.

The theorem proved on the two pages is I.47, the Pythagorean Theorem.

## New articles

Here's a list of the most recently created new pages:

## Latest revisions

Here's a list of the latest revised pages:

## Article list

You can look at a separate page with a system-generated list and various options, but the following list eliminates some of the more mundane system-related pages:

Prime Numbers | nullset | rev. 6 | 19 Mar 2008 07:07 |

Pythagorean Theorem | nullset | rev. 32 | 09 Feb 2010 08:42 |

Richard Bornat | nullset | rev. 11 | 23 Feb 2009 21:18 |

Robert B Ash | nullset | rev. 3 | 23 Feb 2009 20:33 |

Square Root Of 2 | nullset | rev. 28 | 23 Feb 2009 21:37 |

Square root of 2 is irrational | nullset | rev. 3 | 23 Feb 2009 20:37 |

Subscript Problem | nullset | rev. 4 | 09 Feb 2010 05:09 |

What is a Wiki Site? | nullset | rev. 0 | 01 Aug 2007 18:18 |

## Advisory

*Please note that I am not a mathematician and so the presentation of proofs that I make may be deeply flawed. I'm using this writing process to figure out what I'm reading. Please consult more authoritative sources as well.*

Feel free to contact me by leaving a comment or sending me a private message.