TIPS FOR WRITING PROOFS IN HOMEWORK ASSIGNMENTS. 1. Simple rules

Similar documents
Worksheet Week 1 Review of Chapter 5, from Definition of integral to Substitution method

In case (1) 1 = 0. Then using and from the previous lecture,

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

Math 1: Calculus with Algebra Midterm 2 Thursday, October 29. Circle your section number: 1 Freund 2 DeFord

Introduction to Basic Proof Techniques Mathew A. Johnson

5.5. The Substitution Rule

Taylor and Maclaurin Series

Math 113 (Calculus 2) Exam 4

The Relation between the Integral and the Derivative Graphs. Unit #10 : Graphs of Antiderivatives, Substitution Integrals

Lecture 9: Taylor Series

MTH 299 In Class and Recitation Problems SUMMER 2016

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Ma 530 Power Series II

Writing Mathematical Proofs

Math 3000 Section 003 Intro to Abstract Math Homework 6

In general, if we start with a function f and want to reverse the differentiation process, then we are finding an antiderivative of f.

HOMEWORK ASSIGNMENT 6

Math 10850, Honors Calculus 1

MAT137 - Term 2, Week 2

Example. Evaluate. 3x 2 4 x dx.

Tangent Lines Sec. 2.1, 2.7, & 2.8 (continued)

11.10a Taylor and Maclaurin Series

Change of Variables: Indefinite Integrals

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

Elementary Linear Algebra, Second Edition, by Spence, Insel, and Friedberg. ISBN Pearson Education, Inc., Upper Saddle River, NJ.

MA103 STATEMENTS, PROOF, LOGIC

Graphs of Antiderivatives, Substitution Integrals

Math 261 Calculus I. Test 1 Study Guide. Name. Decide whether the limit exists. If it exists, find its value. 1) lim x 1. f(x) 2) lim x -1/2 f(x)

Math 31 Lesson Plan. Day 16: Review; Start Section 8. Elizabeth Gillaspy. October 18, Supplies needed: homework. Colored chalk. Quizzes!

Unit #10 : Graphs of Antiderivatives, Substitution Integrals

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

Math 13, Spring 2013, Lecture B: Midterm

Experiments in Periodicity

1.2 Functions What is a Function? 1.2. FUNCTIONS 11

Advanced Mathematics Unit 2 Limits and Continuity

Advanced Mathematics Unit 2 Limits and Continuity

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

Calculus II (Fall 2015) Practice Problems for Exam 1

Proofs. Joe Patten August 10, 2018

Math 111, Introduction to the Calculus, Fall 2011 Midterm I Practice Exam 1 Solutions

Some Review Problems for Exam 1: Solutions

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Solutions to Math 41 First Exam October 18, 2012

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

MATH 105: PRACTICE PROBLEMS FOR CHAPTER 3: SPRING 2010

Mathematical Induction

8.7 Taylor s Inequality Math 2300 Section 005 Calculus II. f(x) = ln(1 + x) f(0) = 0

Learning Objectives for Math 165

Introducing Proof 1. hsn.uk.net. Contents

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Chapter 2: Differentiation

Integration by Substitution

ASSIGNMENT 1 SOLUTIONS

AP CALCULUS SUMMER WORKSHEET

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19

Unit #10 : Graphs of Antiderivatives; Substitution Integrals

One-to-one functions and onto functions

Math Review for Exam Answer each of the following questions as either True or False. Circle the correct answer.

2.5 The Chain Rule Brian E. Veitch

Introduction to Series and Sequences Math 121 Calculus II Spring 2015

MAT137 Calculus! Lecture 9

University of Toronto MAT137Y1 Calculus! Test 2 1 December 2017 Time: 110 minutes

Solution Set 7, Fall '12

L Hopital s Rule. We will use our knowledge of derivatives in order to evaluate limits that produce indeterminate forms.

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

1. There are 8 questions spanning 9 pages total (including this cover page). Please make sure that you have all 9 pages before starting.

1.4 Techniques of Integration

L Hopital s Rule. We will use our knowledge of derivatives in order to evaluate limits that produce indeterminate forms.

Chapter 2: Differentiation

3 The language of proof

Seunghee Ye Ma 8: Week 1 Notes September 29, 2016

Calculus II Practice Test Problems for Chapter 7 Page 1 of 6

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Turn off all cell phones, pagers, radios, mp3 players, and other similar devices.

Due date: Monday, February 6, 2017.

Section 5.6. Integration By Parts. MATH 126 (Section 5.6) Integration By Parts The University of Kansas 1 / 10

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Substitutions and by Parts, Area Between Curves. Goals: The Method of Substitution Areas Integration by Parts

MATH 2200 Final LC Review

IV.3. Zeros of an Analytic Function

The real voyage of discovery consists not in seeking new landscapes, but in having new eyes. Marcel Proust

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

Assignment 3 Logic and Reasoning KEY

Disclaimer: This Final Exam Study Guide is meant to help you start studying. It is not necessarily a complete list of everything you need to know.

MAT Calculus for Engineers I EXAM #3

MA 113 Calculus I Fall 2012 Exam 3 13 November Multiple Choice Answers. Question

REVIEW FOR THIRD 3200 MIDTERM

M155 Exam 2 Concept Review

In 1854, Karl Weierstrauss gave an example of a continuous function which was nowhere di erentiable: cos(3 n x) 2 n. sin(3 n x), 2

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

1.4 Mathematical Equivalence

CIS Spring 2018 (instructor Val Tannen)

Math 651 Introduction to Numerical Analysis I Fall SOLUTIONS: Homework Set 1

Math 10850, fall 2017, University of Notre Dame

CS 246 Review of Proof Techniques and Probability 01/14/19

Today s Agenda. Upcoming Homework Section 5.1: Areas and Distances Section 5.2: The Definite Integral

Spring 2017 Midterm 1 04/26/2017

Integrals. D. DeTurck. January 1, University of Pennsylvania. D. DeTurck Math A: Integrals 1 / 61

MA 113 Calculus I Fall 2016 Exam 3 Tuesday, November 15, True/False 1 T F 2 T F 3 T F 4 T F 5 T F. Name: Section:

Transcription:

TIPS FOR WRITING PROOFS IN HOMEWORK ASSIGNMENTS MARK SKANDERA 1 Simple rules I require my students to follow the rules below when submitting problem sets While other instructors may be more lenient than I, these rules are likely to help you maximize your homework scores in any class which involves problem sets (1) Submit your homework on time, even if it is incomplete I will not accept late homework () Begin the solution to each problem on a new page (3) Write each solution in claim-proof form, even if the solution is short () Use full sentences (5) Make sure your handwriting or font is large and legible You can make your homework even more legible by writing on only one side of a page, but I ll leave this up to you Claim-proof form Writing good proofs is not difficult; it just takes practice The most important element of good proof writing is the use of appropriate full sentences Begin each solution with the word claim, followed by a clear statement of what you wish to prove Example 1 Claim: The probability of picking a good apple is 1 10 Begin the proof with the word proof, and let your first statement be something which the reader will believe immediately upon reading it Such statements often start with Note that, or By definition 1

MARK SKANDERA Example Proof: Note that (n i) = n i n(n + 1) = n(n + 1) n(n + 1) = Example 3 Proof: By the definition of derivative, we have f f(x + h) f(x) (x) = lim h 0 h You can use Recall that if you think that the reader will require an extra moment to accept your first sentence Example Proof: Recall that e is equal to lim n (1 + 1 n )n Note that the equations in the above examples are part of full sentences and are punctuated The words in these sentences help the reader to understand the significance of the equations Equations which are too cumbersome to be placed in a paragraph are placed in the middle of a line, surrounded by space above and below Another appropriate beginning of a proof is the introduction of notation which you plan to use Example 5 Proof: Let d be the probability that a randomly selected coin was minted in Denver A short proof continues with a few manipulations which you should name as you perform them Example 6 Differentiating both sides, we have Example 7 Taking the limit as n approaches infinity, we have It ends with statements which follow logically from the previous easy statements Introduce these conclusions with Therefore, Thus, or Combining Example 8 Therefore f must be equal to g Example 9 Combining equations (1) and (), we have f(0) = 0 Longer proofs may involve references to specific theorems, or techniques such as contradiction and induction To refer to a theorem which has a name, begin with By or Applying

TIPS FOR WRITING PROOFS IN HOMEWORK ASSIGNMENTS 3 Example 10 By the First Fundamental Theorem of Calculus, we have Example 11 Applying the Law of Sines to the expression on the right hand side above, we have To refer to a less known theorem, you might need to state it and/or refer to a page number in your textbook Example 1 A result concerning limits and exponents (See text, p 86) states that lim x a [f(x)]1/n = [lim f(x)] 1/n, x a for any positive integer n Therefore we may exchange the order of roots and limits in equation (iii) to obtain Contradiction is often the easiest way to prove a statement Begin by supposing that the conclusion of the statement to be proven is false Example 13 Claim: If the functions f(x) and g(x) are continuous on the interval [a, c], then so is the function f(x) + g(x) Proof: Suppose that f(x) + g(x) has a discontinuity at x = b for some number b between a and c Then we have State further implications, and arrive at a statement which cannot possibly be true Example 1 but this implies that 1 = 0, which is clearly false This false statement tells you that your claim must in fact be true Induction is another useful technique for writing proofs Assume that the claim in question is true when it involves a number between 1 and n, and then show that it must be true when this number is equal to n + 1 Example 15 Claim: For all positive integers k, we have k [ ] k(k + 1) i 3 = Proof: Assume by induction that the above formula holds whenever k is less than or equal to n Then we have n+1 i 3 = i 3 + (n + 1) 3 = n (n + 1) + = (n + 1) (n + ), (n + 1)3

MARK SKANDERA and the identity is true for k = n + 1 as well By induction, the identity holds for all positive integers Often easier than proving a statement is disproving a statement, for the latter requires only a single counterexample Example 16 Claim: (fg) is not always equal to f g Proof: The functions satisfy f(x) = 1, g(x) = sin(x), (fg) = 0 sin(x) + 1 cos(x) = cos(x), f g = 0 cos(x) = 0, and cos(x) is not always equal to zero 3 Some sample proofs Here s the solution to a computational problem [p397 #10] Claim: The natural length of the spring is 8cm Proof Let l be the natural length of our spring (in m) and let k be its spring constant (in N/m) Using Hooke s Law, we can write two equations for the work done in stretching the spring, (31) (3) Integrating (31), we have 1 l 1 l 1 l 1 l kxdx = 6, (1 l) and solving for l in terms of k, we have l = 00 0 1 0k kxdx = 10 (1 l) = 6 k, = 11 300 k Similarly, we integrate (3) and solve for l to obtain l = 005 0 0 0k = 13 500 k

TIPS FOR WRITING PROOFS IN HOMEWORK ASSIGNMENTS 5 Equating these two expressions for l, we determine that k is equal to 10000 and therefore that l is equal to 08 When writing a paper which includes some proofs and some commentary between the proofs, it is customary to end the proof with a symbol such as the above This probably won t be an issue on your homework assignments Here s the solution to a slightly more theoretical problem [p79 #9] Claim: The power series expansion of e x cos x begins with 1 3x + 5x Proof Using the power series expansion for e x, we have e x = 1 + x + x + x3 3! + x + e x = 1 + ( x ) + ( x ) + ( x ) 3 3! = 1 x + x x6 3! + x8 + Since the expansion for cos x is + ( x ) + 1 x + x x6 6! +, we see that the smallest powers of x which will appear in the product are x 0, x 0 x = x x 0 = x and x 0 x = x x = x x 0 = x Thus we can concentrate just on these terms of the product, (1 x + x x )(1 + x ) = 1 x x + x + x + x + = 1 3x + 5x Finally, here s a mathematician s favorite type of proof: a one-liner [worksheet b] Claim: An antiderivative of sin x cos xdx is sin3 x 3 Proof Let u = sin x so that du = cos xdx, and note that an antiderivative of u du is u 3 3 Don t be afraid to write a short proof Sometimes it s appropriate