Show by induction that for all integers . Deduce that this sum is always strictly less than 2.
## Solutions
Show by induction that for all integers . Deduce that this sum is always strictly less than 2.
## Solutions
Hypothesis of recurrence: at rank . Initialization: for , so the relation is clearly true at rank 1.
Calculation: the relation being assumed true at rank (hypothesis of recurrence), to transform this relation into the same relation at rank , it is necessary to add on the left and on the right: which is clearly larger. Therefore, the inequality remains true, and by recurrence it is true for all . We deduce that for all , .
## 2 Group A: Algebra
## 1 Friday morning, 18: Mathieu Barré
## Algebraic manipulations
Calculating with letters requires knowing a few identities. In what follows, unless otherwise stated, the letters used represent real numbers.
## Properties to remember
1. Distributivity: .
2. Rectangle factorization: .
3. If is positive, .
4. .
5. .
6. .
7. .
8. .
9. .
10. More generally, if is a natural number,
In particular, taking , we get
11. Binomial theorem: if is an integer, then
It is always important to keep these properties in mind in order to recognize them in exercises, generally to obtain a factored form.
## Polynomial division
Another idea for factoring algebraic expressions is to generalize the notion of division practiced since elementary school. For example, if we want to divide by , we can imagine that and are integers and perform the division as an elementary school student would. We first try to eliminate the term in by asking: "By what must we multiply to get close to ?". The answer is and . We then subtract from : the terms cancel out (it's designed to do so!) and we are left with , which is . We then repeat this procedure with . The different steps are summarized in the division below:
We have thus obtained: , which is also a consequence of property 9 for .
Let's continue to practice this principle with another example: factorize by . Proceeding exactly as before, we get successively:
Thus, the final result is , known as Sophie Germain's identity.
We now have a method (or even an algorithm) for performing polynomial divisions. However, in the two previous examples, we were lucky because the remainders of the divisions were zero, which is not always the case. How can we guess that a polynomial will be able to be factored by another? The following theorem provides an answer:
Theorem 3. Let be a polynomial and a root of (i.e., a real number that satisfies ). The polynomial can then be factored by .
Corollary 4. A polynomial of degree has at most distinct roots.
Proof. The proof of this result (as well as many others that will interest the curious reader) can be found in Igor Kortchemski's course on polynomials, available here.
We better understand why the polynomial can be factored by : it's because 1 is a root of , since . The corollary is also very useful. Indeed, if we have a polynomial of degree for which we know exactly roots , it will necessarily be written in the form , up to multiplication by a constant.
Example 5. We already know how to factor the polynomial using the remarkable identity 6, but let's try to achieve this using our new result. We notice that and are two roots of , which is of degree 2: we have thus found all its roots. Since the leading coefficient of is 1, we automatically have .
Remark 6. Showing