Math 310

Introduction to Mathematical Reasoning Handout #4: Conventions for Writing Mathematical Proofs

Spring 2006

Starting with your next homework assignment, you will need to write all your proofs in paragraph form. Here are some of the standard conventions for mathematical proof-writing. Write in paragraph form: First and foremost, remember always that a mathematical proof is designed to communicate the truth of a mathematical statement to a human reader. Over the years it has been found that ordinary prose is much better suited to this purpose than formal symbolic statements. Although you will probably construct your proof as a sequence of terse symbolic statements, when you write it up you must use complete sentences organized into paragraphs. As you read more and more complicated proofs, you will nd that paragraph-style proofs are much easier to read and comprehend than two-column ones. Use proper English: All mathematical writing should follow the same conventions of grammar, usage, punctuation, and spelling as any other writing. In addition to writing complete sentences organized into paragraphs, you must use correct punctuation (including a period at the end of every sentence), avoid run-on sentences, pay attention to subject-verb agreement and parallel structure, and use correct spelling and capitalization. If you are not a native English speaker, it might be a good idea to cultivate the habit of asking a native speaker to look over your writing before you submit it. Identify your audience: Before you begin writing any proof, be sure youre aware who your audience is and what they already know. For this course, you should always write your proofs as if you were trying to convince a fellow student in this class of the truth of the theorem and the correctness of your argument. You may assume the reader knows the same background material as you do, but doesnt know the proof of this particular theorem. Label your theorems clearly: Each theorem that you prove should be clearly labeled as such, and stated clearly and precisely in one or more English sentences. With computer typesetting programs, the usual convention is to set the word Theorem in boldface, with the statement of the theorem itself italicized. For handwritten proofs, just underline the word Theorem. In some contexts, the word Theorem might be replaced by Proposition, Corollary, or Lemma. Logically, these all mean the same thing (a mathematical statement to be proved from the axioms and previously proved theorems), but your choice of label can alert the reader about the role that the result plays in the current context. A proposition is a result that is interesting in its own right, but not as important as a theorem; a lemma is a result that might not be interesting in itself, but is useful for proving another theorem; and a corollary is a result that follows easily from a previously proved theorem. Show where your proofs begin and end. Each proof should begin with the word Proof, and end either with the letters QED (quod erat demonstrandum, Latin for that which was to be proved) or with a symbol such as the square at the end of this paragraph. Write with precision: In mathematical writing more than any other kind, precision is of paramount importance. Every mathematical statement you make must have a precise mathematical meaning; every term you use must be well dened, and used properly according to its denition; every mathematical conclusion you reach must be justied; and every symbol you mention must be either previously dened or quantied in some appropriate way. If you write f(a) > 0, do you mean that this is true for every a R, or that there exists some a R for which its true, or that its true for a particular a that you introduced earlier in the proof? Ask yourself these two key questions about each sentence you write: What exactly does this mean? Why exactly is this true? Write clearly: Just as important as mathematical precision is making sure your writing is clear enough to be easily comprehensible to your intended audience. Dont be stingy with intuitive explanations of

whats going on and why. For any argument thats longer than a few sentences, its good to begin by describing informally what youre going to do, then do it, then say what youve done. If the structure of your proof is anything other than a simple direct proof, state at the beginning what type of proof youre using. (We will prove the contrapositive, or We will prove this by induction on n.) Its all too easy to write a sequence of mathematical statements that are entirely precise and mathematically correct, and yet that are incomprehensible to a human being. If you have to write a long series of equations, intersperse them at carefully chosen places with some words about of what youre doing and why, or reasons why one step follows from another. Distinguish formal vs. informal mathematical writing: Many proofs include both formal and informal parts. The formal part lays out the precise mathematical denitions and describes the logical steps of the proof. The informal part might describe the motivation for why the theorem should be true, or the intuition behind the proof, or a brief sketch of how the proof will go. Be sure it is easy for the reader to distinguish which parts are formal and which are informal. Use the rst person singular sparingly: Most authors avoid using the word I in mathematical writing. It is standard practice to use we whenever it can reasonably be interpreted as referring to the writer and the reader. Thus: We will prove the theorem by induction on n, and Because f is injective, we see that x1 = x2 . But if youre really referring only to yourself, its better to go ahead and use I: I learned this technique from Richard Melrose. Avoid most abbreviations: There are a host of abbreviations that we use frequently in informal mathematical communication: i (if and only if), s.t. (such that), w.r.t. (with respect to), and WLOG (without loss of generality) are some of the most common. These are indispensable for writing on the blackboard and taking notes, but should never be used in written mathematical exposition. The only exceptions are abbreviations that would be acceptable in any formal writing, such as i.e. (that is) or e.g. (for example); but if you use these, be sure you know the dierence between them! Mathematical formulas The feature that most clearly distinguishes mathematical writing from other kinds is the extensive use of symbols and formulas. If used appropriately, these can make mathematical writing dramatically easier to read. The sentence Let f be the function whose value at a particular number is equal to the square of the number added to the number itself is far less clear than Let f be the function dened by f(x) = x2 + x. On the other hand, symbols must be used judiciously, because their excessive use can lead to writing that is just as obscure as writing with no symbols. Here are some guidelines for using mathematical symbols in your writing. In this handout, the use of the word symbol includes variable names such as x, y, P , Q, , ; function names such as f, sin, log; as well as all the special mathematical symbols that we use to refer to operators and relations. The word formula refers to any expression built up out of one or more mathematical symbols. Single symbols and short, simple formulas should usually be included right in your paragraphs; but a formula that is large or especially important should be centered on a line by itself. (This is called a displayed formula.) Every mathematical symbol or formula, whether included in the text or displayed, must have a denite grammatical function in a sentence. Formulas should almost always have one of the following two grammatical functions: (1) An expression representing a particular mathematical object can be used as a noun; and (2) a complete symbolic mathematical statement can be used as a clause. For example, consider the following sentence: If x > 2, we see that x2 + x must be greater than 6. Here the formula x > 2 is a mathematical statement functioning as a clause (whose verb is >), while x2 + x and 6 are mathematical expressions (representing real numbers) that function as nouns.

The best way to ensure that your formulas function grammatically correctly is to read each sentence aloud. When you do so, bear in mind that many symbols can be read in several dierent waysfor example, the symbol = can be read as equals, equal to, be equal to, is equal to, or which is equal to, depending on context. If a displayed formula ends a sentence, it must be followed by a period. That last one is easy to forget, so let me say it again with emphasis: If a displayed formula ends a sentence, it must be followed by a period. Symbols representing mathematical relations (like =, >, , or ) or operators (like +, , or ) should be used only to connect other mathematical symbols, not to connect words with symbols or with each other. For example, do not write: If x is a real number that is > 2, then x2 + x must be > 6. (WRONG)

Built-up expressions like summations, integrals, matrices, or fractions should be either displayed or written in such a way that they t easily on a line without forcing extra spacing between lines. In particular, if a fraction or fractional expressions is included in the text, it should be written with a slash, as in x/(y + 2). If a fraction is so large or complicated that it needs to be written using a horizontal bar, it should be displayed. The only exception is small numerical fractions such as 1 , which 2 can be included in text as long as they are written small enough to t naturally on a line. Its bad form to begin a sentence with a mathematical symbol, because it makes it hard for the reader to recognize that a new sentence has begun. (You cant capitalize a symbol to indicate the beginning of a sentence!) Its usually easy to avoid this by minor rewordingfor example, if you nd yourself wanting to write a sentence that begins f is a continuous function, you could write instead The function f is continuous. Avoid writing two formulas separated only by a comma or other punctuation mark, because they will look like one long formula. For example, the sentence If x = 0, x2 > 0 can be confusing; it would be easier to read if a word were interposed between the two formulas, as in If x = 0, then x2 > 0. Symbols for logical terms, such as (there exists), (for all), (and), (or), (not), (implies), or (if and only if), should never be used to replace the corresponding words in an English sentence. The only time most of these symbols have any place in formal mathematical writing is as part of complete symbolic logic formulas; but even then, unless the subject you are writing about is mathematical logic, it is usually clearer to write out the statements in English. The only logical symbols that are commonly used in ordinary mathematical writing are and , and then only to connect symbolic formulas or letters representing statements, as in x = 0 x2 > 0 or we will prove that (a) (b) by showing rst that (a) (b) and then showing that (b) (a).