Démonstration et algorithmedeux façons de penser, deux dialectes
Mathématiques et langages
Pour tous entiers naturels 𝑎et 𝑏il existe un unique entier naturel 𝑑qui
divise 𝑎et 𝑏tel que tout diviseur commun de 𝑎et 𝑏divise 𝑑.
𝑎 𝑎=0 𝑏 𝑎
𝑏 𝑏=𝑎𝑞+𝑟
0≤𝑟< 𝑎 𝑟
𝑑 𝑟 𝑎 𝑑 𝑟 𝑎
𝑎𝑞+𝑟 𝑏 𝑏 𝑎
𝑏−𝑎𝑞=𝑟 𝑑 𝑑 𝑎 𝑏
6
7
8
9
10
11
12
13
14
15
16
17
18
19
1
/
19
100%
