User:IssaRice/Faulty mathematical induction proof example

From Machinelearning
Revision as of 20:43, 13 April 2020 by IssaRice (talk | contribs) (Created page with "Consider the following "proof": <blockquote style="border: 1px solid black; padding: 10px;"><p>'''Proposition.''' Let <math>b,c</math> be positive integers. Then <math>bc > b...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Consider the following "proof":

Proposition. Let b,c be positive integers. Then bc>b.

Proof. We fix b>0 and induct on c. For the base case when c=0, the result is vacuously true. Now suppose inductively that we have the result for c. Then for c+1 we need b(c+1)>b. But b(c+1)=bc+b>bc since b>0. Also, bc>b by induction hypothesis. Therefore, bc+b>bc>b. This closes the induction.