0% found this document useful (0 votes)
8 views2 pages

Mathematical Proofs Tutorial Problems

The document outlines a tutorial for the Foundations of Mathematical Analysis module at the Institute of Accountancy Arusha, including various mathematical proof methods and problems to solve. It covers truth values of mathematical statements, direct proofs, proofs by contrapositive, contradiction, and mathematical induction. The tutorial problems are designed for students in Bachelor programs in Computer Science, Information Technology, and Cybersecurity.

Uploaded by

malekoirene819
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
8 views2 pages

Mathematical Proofs Tutorial Problems

The document outlines a tutorial for the Foundations of Mathematical Analysis module at the Institute of Accountancy Arusha, including various mathematical proof methods and problems to solve. It covers truth values of mathematical statements, direct proofs, proofs by contrapositive, contradiction, and mathematical induction. The tutorial problems are designed for students in Bachelor programs in Computer Science, Information Technology, and Cybersecurity.

Uploaded by

malekoirene819
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

INSTITUTE OF ACCOUNTANCY ARUSHA

Module Name: Foundations of Mathematical Analysis


Module Codes: CSU07106 / ITU07106 / CYU07313
Programmes: 1. Bachelor of Computer Science (BCS I)
2. Bachelor of Information Technology (BIT I)
3. Bachelor of Science in Cybersecurity BCSe II)

Semester I
Tutorial Problems 3

Methods of Mathematical Proofs.


1. Let P(x): x2 < x.
(i) What is the truth value of P(1)?
(ii) What is the truth value of P(2)?
(iii) For which x is the value of P(x) true?
2. Let P(x): x < 2x.
(i) What is the truth value of x P(x)?
(ii) What is the truth value of x P(x)?
(iii) What is the truth value of !P(x)?
3. Apply the direct proof method to prove the following statements.
(i) If x is an odd integer, then x2 is also odd.
(ii) If x is an even number, then x3 is also even.
(iii) If x is odd integer, then x2-1 is a multiple of 4.
4. Apply the method of proof by contrapositive to prove the following statements.
(i) If x2 is odd integer, then x must be odd.
(ii) If x2 is even integer, then x must be even.
(iii) If x2-2x is even integer, then x is even.
5. Apply the method of proof by contradiction to prove the following statements.
(i) Prove that is irrational.
(ii) For all real numbers x and y, if 35x+14y = 253, then x is not an integer or y is not an integer.
(iii) For all rational numbers x and all irrational numbers y, the sum x + y is irrational.
6. For all n ≥ 1, prove that 12+22+32+42+…+n2 = [n(n+1)(2n+1)]/6.
7. For all n N, use the principle of mathematical induction to prove that n(n+1)(n+5) is divisible by 3.
Note: N is the set of natural numbers.
8. Prove that 2n > n for all positive integer values of n.
9. Prove that for all positive integers n, the number 32n-1 is divisible by 8.
10. Prove that for all positive integers n, the number 6n-1 is divisible by 5.
11. Prove that 5n > 5n-1 for all positive integer values of n.
12. Prove that Sn = (4n-1)/3 for the sequence an = 4n-1, where n is any positive integer.
13. Prove that Sn = n(n+1) for the sequence an = 2n, where n is any positive integer.
14. Prove that Sn = 5n(n+1)/2 for the sequence an = 5n, where n is any positive integer.
15. Prove that 4n ≥ 4n for all positive integers n.
1
16. Prove that 2n ≥ n+1 for all positive integers n.

Common questions

Powered by AI

The statement P(x)= x^2 < x is true when x = 0. This is determined by testing integer values: for x = 0, 0 < 0 holds false; for x = 1, 1 < 1 holds false; for x = 2, 4 < 2 is false. Plugging integers into the inequality will determine when it holds true .

The principle of mathematical induction can be used to prove this sum of squares formula. To apply it, first prove the base case n=1, then assume the formula holds for n=k (inductive hypothesis), and prove it holds for n=k+1 using the hypothesis to show the added (k+1)^2 term fits the expanded form of the formula .

Proof by induction is ideal due to the straightforward verification of initial cases and the clear transfer of properties from n to n+1. Begin with the base case such as n=1, proving it divisible by 3 directly. Assume it holds for n=k, showing the property extends to n=k+1 by manipulating expressions to reveal divisibility by 3, preserving natural numbers’ structural properties .

To use proof by contradiction, assume that x is rational and y is irrational, but their sum x + y is rational. Then it follows that y = (x + y) - x is a difference of two rational numbers, which must be rational, contradicting the irrationality of y. Thus, the assumption that x + y is rational is false, proving that the sum is irrational .

The truth value of the universally quantified statement ∀x P(x) for P(x): x < 2x depends on the set of numbers considered. If x is any real number, then for positive real numbers, x < 2x holds true. However, for negative x or zero, the inequality does not hold, and hence ∀x P(x) is false for all real numbers .

The direct proof method can be used to show that if x is an odd integer, then x^2 is also odd. In this method, one takes an arbitrary odd integer x, which can be expressed in the form x = 2k + 1 for some integer k. Squaring both sides results in x^2 = (2k + 1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1. This can be seen as 2m + 1, where m is an integer, confirming that x^2 is odd .

To apply contrapositive, instead of proving "if x^2 is even, then x is even," prove "if x is not even, then x^2 is not even." Assuming x is odd, x = 2k + 1 for some integer k, then x^2 = (2k+1)^2 = 4k^2 + 4k + 1 which is also odd, thus not even, confirming contrapositive .

To prove that 5n > 5(n-1) for all positive integers n, observe that 5n is equal to 5 multiplied by n and 5(n-1) is 5 multiplied by (n-1), hence simply we have 5 multiplied by n is greater than 5 times one less than n, showing step by step via multiplication property of inequality .

Different proof methods provide varied insights: induction emphasizes structural understanding through incremental logic, whereas direct or contradiction focus on immediate truth. For '2^n > n+1', using induction confirms the inherent growth of exponential over linear functions step-by-step, while contradiction would focus on disproving counter-examples, affecting complexity and clarity in evaluating such statements .

The series sum Sn for the sequence an = 4n-1 can be derived by considering the sequence as an arithmetic sequence; however, proving that Sn = (4n-1)/3 requires determining that each partial sum at each step leads to this expression, possibly using induction or direct computation verification strategies for validation .

You might also like