Practice Direct Proof in Math

Use these practice problems to test your method after reviewing the concept explanation and worked examples.

Worksheet PDF Free Answer-key PDF Family

Quick Recap

A direct proof establishes a statement P⇒Q by assuming P is true and using logical steps, definitions, and known theorems to arrive at Q — the most straightforward proof strategy.

Start from what you know (the hypotheses) and chain logical steps forward until you reach what you want to prove — no detours, no tricks, just forward reasoning.

Showing a random 20 of 50 problems.

Example 1

hard
Direct proof: if n is an odd integer, then n2≡1(mod8).

Example 2

medium
Direct proof that if n=2k+1 then n2−1 is divisible by 8. Complete it.

Example 3

easy
Finish: 'If n=4k, then n=2(2k), so n is ____.'

Example 4

easy
Direct proof of 'if a and b are positive then ab>0': what justifies the conclusion?

Example 5

easy
Direct proof that the product of two odd integers is odd: assume a=2j+1, b=2k+1. Expand ab.

Example 6

medium
Complete the direct proof that n odd ⇒n2 odd: assume n=2k+1, then n2= ? Show it is odd.

Example 7

medium
Prove directly: for all real x, (x−1)(x+1)=x2−1.

Example 8

hard
Direct proof: if a is rational and b is irrational, must a+b be irrational?

Example 9

medium
Direct proof: if a and b are consecutive integers then a+b is odd. Complete it.

Example 10

medium
Direct proof: if x is rational and y is rational, then xy is rational. Complete it.

Example 11

easy
In a direct proof of 'n is a multiple of 4 ⇒n is even', what is the opening assumption?

Example 12

medium
Direct proof: if a and b are integers with a≡b(modm), then a2≡b2(modm).

Example 13

hard
Prove directly: for all positive reals a,b, a2+b2≥2ab.

Example 14

medium
Direct proof: if a∣b and b∣c then a∣c. Set up the definitions and finish.

Example 15

medium
In direct proofs, what is the role of the definition of the hypothesis (e.g., 'even', 'rational')?

Example 16

easy
Direct proof that 3∣n⇒3∣n2: assume n=3k. What is n2?

Example 17

easy
In a direct proof of P⇒Q, can we begin by assuming ¬Q?

Example 18

easy
In a direct proof of 'if n is even then n2 is even', what do you assume FIRST?

Example 19

medium
Direct proof: for all reals a,b, (a+b)2≥4ab. Hint: expand.

Example 20

medium
Direct proof that if n is odd, then n2−1 is divisible by 4. Complete it.
← Back to Direct Proof Worked Examples