Serie 1 (1)
Serie 1 (1)
Methods of Proof
Exercise 1.
1. After calculating the first terms, find simple expressions for the following sums, then prove this by induc-
tion.
1 1 1
+ + ··· + ,
1×2 2×3 (n − 1)n
1 + 3 + · · · + (2n − 1).
∀ε > 0, x < y + ε ⇒ x ≤ y,
∀ε > 0, |x − y| < ε ⇒ x = y.
√
3. Prove that 3∈
/ Q.
4. Which statements are true, and which statements are false? If a statement is true, then prove it, if a
statement is false, then give a counterexample.
i) If x and y are rational numbers, then x + y is rational.
ii) If x and y are irrational numbers, then x + y is irrational.
iii) If x and y are irrational numbers, then x × y is irrational.
iv) If x is a rational number, y is an irrational number, then x + y is irrational.
v) If x is a rational number, y is an irrational number, then x × y is irrational.
5. Show which method can be used to disprove the following statements:
i) Let n ∈ N and suppose that n is prime. Then 2n − 1 is prime.
ii) If a, b ∈ R, a < b then |a| < |b| .
6. Prove that
if a > 0, and b > 0, then a < b ⇔ a2 < b2 .
Rational numbers
Exercise 2.
∗
{z. . . 2023}. Rewrite An as a quotient p/q of integers p ∈ Z and q ∈ Z
1. Let An = 0, |20232023
n times
B = 0, 1̄ + 0, 2̄ + · · · + 0, 9̄.
1
Absolute value
Exercise 3.
1. Prove that for every x, y ∈ R the following properties of the absolute value hold.
a) |x| ≤ a ⇔ − a ≤ x ≤ +a c) |x + y| ≤ |x| + |y|
b) |x| ≥ a ⇔ x ∈] − ∞, −a] ∪ [a, +∞[ d) ||x| − |y|| ≤ |x − y|
2. Find the solutions of the following equations and inequalities.
a) |x + 2| = −1; c) |x − 3| > −2;
b) x2 − 1 + |x + 2| = |x − 3| ; d) |x + 2| − |x − 3| + |x − 4| > 0.
The floor of x
Exercise 6. The floor of x is the largest integer less than or equal to x, that is
[x] = max {n ∈ Z, n ≤ x} .
1. Determine [π] , [−π] and [4].
2. Prove that for every x, y ∈ R and n ∈ N∗ , the following properties of the Greatest Integer hold
a) x ≤ y ⇒ [x] ≤ [y] ; c) [x] + [y] ≤ [x + y] ≤ [x] + [y] + 1;
[nx]
b) = [x] ; d) [x + 1] = [x] + 1.
n
3. Solve in R, the following equations
√ h√ i
a) x = 2, b) x2 = 4, c) [x [x]] = 1.