• Aucun résultat trouvé

Exercise 1. Let b ≥ 2 be an integer. Show that a real number x is rational if and only if the sequence (d

N/A
N/A
Protected

Academic year: 2022

Partager "Exercise 1. Let b ≥ 2 be an integer. Show that a real number x is rational if and only if the sequence (d"

Copied!
4
0
0
En savoir plus ( Page)

Texte intégral

(1)

Introduction to Diophantine methods Michel Waldschmidt http://www.math.jussieu.fr/∼miw/coursHCMUNS2007.html

Exercises - second sheet

Solve as many as you can, but at least 2, of the following exercises.

Exercise 1. Let b ≥ 2 be an integer. Show that a real number x is rational if and only if the sequence (d

n

)

n≥1

of digits of x in the expansion in basis b

x = [x] + d

1

b

−1

+ d

2

b

−2

+ · · · + d

n

b

−n

+ · · · (0 ≤ d

n

< b) is ultimately periodic (see § 1.1).

Deduce another proof of Lemma 1.17 in § 1.3.5.

Exercise 2. Let b ≥ 2 be an integer. Let (a

n

)

n≥0

be a bounded sequence of rational integers and (u

n

)

n≥0

an increasing sequence of positive numbers.

Assume there exists c > 0 and n

0

≥ 0 such that, for all n ≥ n

0

, u

n+1

− u

n

≥ cn.

a) Deduce, for all k ≥ 1 and n ≥ n

0

,

u

n+k

− u

n

≥ cnk + c · k(k − 1)

2 ·

b) Show that the number

ϑ = X

n≥0

a

n

b

−un

is irrational if and only if the set {n ≥ 0 ; a

n

6= 0} is infinite.

c) Deduce another proof of Lemma 1.17 in § 1.3.5.

Exercise 3. Recall the proof, given in in § 1.1 of the irrationality of the square root of an integer n, assuming n is not the square of an integer: by contradiction, assume √

n is rational and write √

n = a/b as an irreducible fraction; notice that b is the least positive integer such that b √

n is an integer; denote by m the integral part of √

n and consider the number b

0

= ( √

n −m)b. Since 0 < b

0

< b and b

0

√ n is an integer, we get a contradiction.

Extend this proof to a proof of the irrationality of √

k

n, when n and k are positive integers and n is not the k-th power of an integer.

Hint. Assume that the number x = √

k

n is rational. Then the numbers x

2

, x

3

, . . . , x

k−1

are also rational. Denote by d the least positive integer such that the numbers dx, dx

2

, . . . , dx

k−1

are integers. Further, denote by m the integral part of x and consider the number d

0

= (x − m)d.

1

(2)

Exercise 4. Let α be a complex number. Show that the following properties are equivalent.

(i) The number α is algebraic.

(ii) The numbers 1, α, α

2

, . . . are linearly dependent over Q .

(iii) The Q -vector subspace of C spanned by the numbers 1, α, α

2

, . . . has finite dimension.

(iv) There exists an integer N ≥ 1 such that the Q -vector subspace of C spanned by the N numbers 1, α, α

2

, . . . , α

N−1

has dimension < N.

(v) There exists positive integers n

1

< n

2

< . . . < n

k

such that α

n1

, . . . , α

nk

are linearly dependent over Q .

Exercise 5. a) Use the geometrical proof of the irrationality of e in § 1.2.7 to deduce, without computation, that for any integer n > 1,

1

(n + 1)! < min

m∈Z

e − m

n!

< 1

n! ·

b) Recall the definition of the Smarandache function : S(q) is the least positive integer such that S(q)! is a multiple of q. Prove that for any p/q ∈ Q with q ≥ 2,

e − p q

> 1 (S(q) + 1)! ·

Exercise 6. Let (a

n

)

n≥0

be a bounded sequence of rational integers.

a) Prove that the following conditions are equivalent:

(i) The number

ϑ

1

= X

n≥0

a

n

n!

is rational.

(ii) There exists N

0

> 0 such that a

n

= 0 for all n ≥ N

0

. b) Prove that these properties are also equivalent to (iii) The number

ϑ

2

= X

n≥0

a

n

2

n

n!

is rational.

Exercise 7. This exercise extends the irrationality criterion Lemma 1.6 by replacing Q by Q (i). The elements in Q (i) are called the Gaussian numbers, the elements in Z (i) are called the Gaussian integers. The elements of Q (i) will be written p/q with p ∈ Z [i] and q ∈ Z , q > 0.

Let ϑ be a complex number. Check that the following conditions are equiv- alent.

(i) ϑ 6∈ Q (i).

(ii) For any > 0 there exists p/q ∈ Q (i) such that 0 <

ϑ − p q

<

q ·

2

(3)

(iii) For any rational integer N ≥ 1 there exists a rational integer q in the range 1 ≤ q ≤ N

2

and a Gaussian integer p such that

0 <

ϑ − p q

<

√ 2 qN ·

(iv) There exist infinitely many Gaussian numbers p/q ∈ Q (i) such that

ϑ − p q

<

√ 2 q

3/2

·

Exercise 8. Recall Liouville’s inequality in Lemma 2.12 :

For any algebraic number α there exist two positive constants κ and d such that, for any rational number p/q 6= α,

α − p q

≥ 1 κq

d

· Denote by P ∈ Z [X] the minimal polynomial of α.

a) Prove this result with d the degree of P and κ given by κ = max

1 ; max

|t−α|≤1

|P

0

(t)| .

b) Check also that the same estimate is true with again d the degree of P and κ given by

κ = a

0

d

Y

i=2

(|α

j

− α| + 1),

where a

0

is the leading coefficient and α

1

, . . . , α

d

the roots of P with α

1

= α:

P(X ) = a

0

(X − α

1

)(X − α

2

) · · · (X − α

d

).

Hint: For both parts of this exercise one may distinguish two cases, whether

|α − (p/q)| is ≥ 1 or < 1.

Exercise 9. Let (a

n

)

n≥0

be a bounded sequence of rational integers and (u

n

)

n≥0

be an increasing sequence of integers satisfying

lim sup

n→∞

u

n+1

u

n

= +∞.

Assume that the set {n ≥ 0 ; a

n

6= 0} is infinite.

Define

ϑ = X

n≥0

a

n

2

−un

. Show that ϑ is a Liouville number .

Hint: compare with (2.32).

3

(4)

Exercise 10. a) Let b be a positive integer. Give the continued fraction ex- pansion of the number

−b + √ b

2

+ 4

2 ·

b) Let a, b and c be positive integers. Write a degree 2 polynomial with integer coefficients having a root at the real number whose continued fraction expansion is

[0; a, b, c].

4

Références

Documents relatifs

Also, in all of the runs using cold metal objects, the current to the pie pan is always negative (i.e. there is no temperature regime or time period during the growth and

In the present paper, we first restrict our attention to approximation by rational numbers whose denominator is a power of some given integer b ≥ 2 and we consider the

Peer-review under responsibility of the scientifi c committee of the 25th CIRP Life Cycle Engineering (LCE) Conference.. It is not the purpose of this article to argue for or

Après un léger chauffage à 45°C, à des prises (de 03 X 100ml) d’échantillons de lait maintenus à cette température ont été additionné différente taux d’extrait à

Construct a second family of lines contained in

Un objet marque_voiture contenant Peugeot, Golf, Fiat, Ford.. Tableau de déclaration des objets objet Type/nature.

[r]

In the current paper, we study the group Aut(X) when X is a com- pact connected real algebraic surface, i.e., a compact connected real alge- braic manifold of dimension 2.. By what

We show that any orientable Seifert 3-manifold is diffeomorphic to a connected component of the set of real points of a uniruled real algebraic variety, and prove a conjecture of

, n, are the homology groups of the complex of allowable chains with compact supports (resp., closed supports) with respect to the good stratification S.. (Andrzej Weber) Are

Prove that in a finite group of even order, there is an element of order 25. Show that a finite integral domain is

In this case the two positive integers |y| and |y − 1| are consecutive, therefore they are relatively prime. If the product of two relatively prime integers is a square, then each

Let R be a rectangle in the Euclidean plane; we consider a partition of R into smaller rectangles, the sides of which are parallel to those of R.. Suppose that each of the

We define a partition of the set of integers k in the range [1, m−1] prime to m into two or three subsets, where one subset consists of those integers k which are &lt; m/2,

For the proof that Schanuel’s Conjecture implies the linear independence of the 12 x i ’s in the second set, we modify slightly the strategy: a linear combination with

Gibbs : les math´ ematiques du hasard au cœur de la physique ?” Conf´ erence donn´ ee dans le cadre du cycle Un texte, un math´

If a real number x satisfies Conjecture 1.1 for all g and a, then it follows that for any g, each given sequence of digits occurs infinitely often in the g-ary expansion of x.. This

Moreover Λ is composed of eigenvalues λ associated with finite dimensional vector eigenspaces.. We assume that A is

[r]

[r]

We establish that this lower bound is best possible and, more generally, that the irrationality exponent of any Sturmian number can be read on its b-ary expansion (which means

The history of previous attempts to obtain a stronger result than Siegers is a curious chapter of accidents, and will be briefly summarised here before

In the mid-1980s the second author observed that for a connected reductive complex algebraic group G the singular support of any character sheaf on G is contained in a fixed