Vous êtes sur la page 1sur 1

UNIVERSIT PARIS 1 LICENCE PHILOSOPHIE/LOGIQUE

LICENCE 1-S2 MATHMATIQUES LA DIVISIBILIT

DFINITION : Soient 0 et des entiers naturels. On dit que divise s'il existe tel que . On dit aussi que est multiple de , et est divisible par , ou encore est un diviseur de . Notation: on crit | pour abrger divise . Remarques 1) Pour tout nombre. , |0. En effet, 0 = 0 . Ainsi, 0 est divisible par n'importe quel

2) En revanche, 0 ne divise aucun nombre. (Rappel : si l'on pouvait diviser par 0, tout nombre serait gal tout nombre ; en effet, pour et des nombres quelconques, on a : 0 = 0, ce qui donnerait, en divisant par 0 , = ). 3) La divisibilit n'est pas une opration, mais une relation. Il ne faut pas confondre | avec , que l'on note aussi parfois / . Ces derniers sont des nombres (rationnels), tandis que | est une proposition (qui peut tre vraie ou fausse, contrairement aux nombres !) Exercices : Exercice 1. Montrer que la relation de divisibilit sur est une relation d'ordre (large), c'est --dire qu'elle est rflexive, antisymtrique et transitive : Si , et sont des nombres naturels, alors : 1. | (rflexivit) 2. Si et , alors . (antisymtrie) 3. Si et , alors . (transitivit) Exercice 2. Soient , , . 1. Dmontrer que si et , alors . 2. Dmontrer que la rciproque de 1 est fausse. 3. Si , peut-on en conclure que ou ? (justifier la rponse)