Introduction au cours de logique, arithmétique, automates et algèbre de Boole
1 À propos d’algorithme
1.1 Une existence prouvée de façon non algorithmique :
Théorème 1.1
∃
α
∈
R
\
Q
∃
β
∈
R
\
Q
α
β
∈
Q
.
En clair : Il existe un irrationnel
α
dont une puissance irrationnelle
α
β
est rationnelle (= fraction).
Preuve 1
√
2
∈
Q
: connu, soit
α
=
√
2
et
β
=
√
2
alors
•
ou bien
√
2
√
2
∈
Q
et le théorème est prouvé,
•
ou bien
√
2
√
2
∈
Q
alors on pose
α
=
√
2
√
2
β
=
√
2
et alors
α
β
= (
√
2
√
2
)
√
2
= (
√
2)
2
= 2 =21
∈
Q
.
Remarque :Preuve non constructive : pas d’algorithme en découlant pour savoir si
√
2
√
2
∈
Q
.
1.2 Un problème et sa solution algorithmique :
•
Considèrons la
suite infinie
des
carrés
, et des
chemins finis connexes„ partant
de 1.
ss s
+
n n
+
n
+
n
+
n
+
n
+
n n n n n n n n n n n n
- - - - - -1 4 9 16 25 36
2
e e e e e e e ¡ ¡ ¡ ¡ ¡ ¡ ¡ e e e e e e e ¡ ¡ ¡ ¡ ¡ ¡ ¡ v v v v v v v v
E
•
Chaque chemin possède une
somme
:
(
−
) = 1 + 4
−
9 + 16
−
25 + 36 = 23
(
−
) =
−
1 + 9
−
16 + 25 = 13
(
−
) =
−
1
−
4
−
9
−
16 + 25 =
−
5
((=)) =
−
1
−
4 =
−
5
.
Problème : (Résolu par
Erdös
et
Suraynii
.) :
Tout entier
n
∈
N
est-il
somme
d’un
chemin
?
Solution algorithmique
:
•
Ici, pour prouver qu’il a un
algorithme
, l’orateur trouvera des
chemins
correspondants à desnombres fournis par l’auditoire.
•
Les exemples conduisent à s’intéresser au
chemin
ou plutôt au “
morceau de chemin
” suivant
222
(m+3)(m+2)(m+1)m
v v v v v v v v
---
-
s s s s s s
++++
Denis Richard
2
Leave a Comment