Proof Writing
Direct proof and division into cases, demonstrated on parity and divisibility claims such as why n squared is odd whenever n is.
10 exercises
Exercise 1
Let be a positive real number. Prove that if .
Exercise 2
Prove that is even if the integers and have the same parity (i.e., both odd or both even).
Exercise 3
Suppose that and are integers. Prove that if is even then either is even or is odd.
Exercise 4
Prove that no integers and exist such that .
Exercise 5
Prove that if and are positive real numbers by way of contradiction.
Exercise 6
Prove using mathematical induction that is a multiple of 8 for all positive odd integers .
Exercise 7
Prove that every integer is either prime or can be expressed as a product of primes.
Exercise 8
Let be an integer. Prove that is one more than a multiple of 5 if and only if is of the form where is an integer.
Exercise 9
Prove that there is a positive integer that is one less than a perfect cube and two less than a perfect square.
Exercise 10
Let and . It may be assumed that is irrational.
-
Prove that is irrational.
-
Produce a constructive proof that there exist irrational and such that is rational.
Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.