You are on page 1of 1

KEITH DEVLIN: Introduction to Mathematical Thinking Test Flight Problem Set

4. Prove that every odd natural number is of one of the forms 4n + 1 or 4n + 3, where n is an
integer.
Theorem:
( )( = 2 + 1)( )( = 4 + 1 = 4 + 3)

Proof (by contradiction)

Say
( )( = 2 + 1)( )( 4 + 1 4 + 3)
then
4 + 1
2 + 1 4 + 1
2 4
2

And
4 + 3
2 + 1 4 + 3
2 4 + 2
2 + 1

But if p is not even and p is not odd, then p doesnt exist. Contradiction.

Therefore the original theorem must be true

Q.E.D

You might also like