## Where communities thrive

• Join over 1.5M+ people
• Join over 100K+ communities
• Free without limits
##### Activity
• Aug 22 2018 12:14

RobertTalbert on master

• Aug 28 2017 19:09

RobertTalbert on master

• Aug 22 2017 15:32

RobertTalbert on master

Add JupyterCon BOF sample activ… (compare)

• Apr 13 2017 19:19

RobertTalbert on master

Fibonacci trees Fib tree pictures (compare)

• Mar 28 2017 13:36

RobertTalbert on master

Change title of trees lesson (compare)

• Mar 28 2017 13:35

RobertTalbert on master

Images for trees intro (compare)

• Mar 28 2017 13:34

RobertTalbert on master

Trees intro lesson (compare)

• Mar 09 2017 16:12

RobertTalbert on master

Partial Orderings lesson (compare)

• Mar 08 2017 14:06

RobertTalbert on master

Transitive closure lesson (compare)

• Mar 07 2017 16:48

RobertTalbert on master

Compositions lesson (compare)

• Mar 07 2017 15:05

RobertTalbert on master

Relation Properties lesson (compare)

• Mar 02 2017 15:48

RobertTalbert on master

Bookface matrix (compare)

• Mar 02 2017 15:47

RobertTalbert on master

Remove image size from matrix (compare)

• Mar 02 2017 15:46

RobertTalbert on master

• Mar 02 2017 15:45

RobertTalbert on master

Images for relations nb (compare)

• Mar 02 2017 15:43

RobertTalbert on master

Change name of relations nb (compare)

• Mar 02 2017 15:42

RobertTalbert on master

Relations and digraphs notebook (compare)

• Feb 20 2017 21:14

RobertTalbert on master

Change name of MST lesson file (compare)

• Feb 20 2017 21:12

RobertTalbert on master

Images for MST lesson (compare)

• Feb 20 2017 21:11

RobertTalbert on master

MST lesson (compare)

Robert Talbert
@RobertTalbert
Greetings MTH 225 students. This is an online space for you to ask anything about proof, probability, or anything else in the class. You can search for keywords in the upper right corner; use Markdown syntax for text highlighting; and use LaTeX for math notation. I'll leave this room open for your questions and comments for the rest of the semester.
Robert Talbert
@RobertTalbert
This message was deleted
This message was deleted
Robert Talbert
@RobertTalbert
Just testing out LaTeX on the Android app: $\binom{52}{5}$
$\binom{52}{5}$
Robert Talbert
@RobertTalbert
Greetings everybody and welcome to Gitter, a chat tool that we can use to hold a discussion about HWB Proofs or whatever else. I am using this because it's good for discussion, and because it's easy to write math here using \LaTeX.
Robert Talbert
@RobertTalbert

The following are some overall comments and suggestions about HWB Proofs, for your consideration as you do any revisions you need to do. Not all problems are represented here; just ones that had widespread attempts.

General remarks:

• Before writing anything in a proof, outline it. Choose the method of proof you want to use; clearly state the assumptions; clearly state what it is you are going to prove having made the assumptions.
• Be very careful not to assume what you are trying to prove. This results in an automatic "Repeat" mark because circular reasoning is not a proof.
• Do not give specific examples in place of a proof; and do not include specific examples in a proof (exception: the base case of an induction proof).
• When proving that an equation or inequality is true, do not start off by writing down the equation and inequality and then "work backwards". This is assuming what you are trying to prove. This is incorrect because we don't know that the starting point is true yet. Instead start with just one side of the proposed equation or inequality and do work to arrive at the other side.

Problem 1: General comment -- if you are taking square roots, it will end poorly. This proof can and should be done without any root-taking whatsoever. Instead think about the definition of "divisibility". Also recall that we proved in class that if $x^2$ is even, then $x$ is even.

Problem 3: Most of the errors on this problem would have been avoided by being clearer at the outset about what proof technique is being used, what the assumptions are, and what is going to be proven. If you have to revise that one, this would be an important first step.

Problems 5--8 generally: Please note the fourth bullet above -- do not prove an equation or inequality by starting with the equation or inequality. Instead start with just one side of the proposed equation or inequality and do work to arrive at the other side. Also __clearly state the induction hypothesis when it's time to do so. Without a clearly stated induction hypothesis the proof is incorrect.

Problems 5 and 6: Beware that when you proceed to the induction step that you write down exactly the right statement to be proven. "We will now prove this for k+1" is not precise enough to be correct. Also it involves more than just adding 1 to everything.

Problem 8: There are two variables in the expression but only one of them is used by the predicate, namely $n$. The variable $x$ is not used in the induction process.

Now, use the chat feature to ask questions -- this won't be threaded and so you may have to scroll to see other people's questions and responses, but we'll try to maintain order anyway.