FDH a écrit:
> "Pierre Capdevila" a écrit dans le message de news:
> c033d2$v1f9c$1@ID-138445.news.uni-berlin.de...
>[color=green]
>>Mathos a écrit
>>[color=darkred]
>>>Bonjour je souhaiterais savoir si :
>>>si a divise c
>>>si b divise c
>>>alors ppcm(a,b) divise c>>
>>Non c'est faux.
>>Par contre pgcd(a, b) divise c.[/color]
>
>
> Si, Mathos a tout à fait raison
>
> On suppose que a/c et b/c (j'exclus le cas marginal où c=0, donc on a alors
> a0 et b0) : on peut écrire c=a.k=b.l
> Soit d=pgcd(a,b) et m=ppcm(a,b)
> On peut écrire a=d.a1 et b=d.b1, avec pgcd(a1,b1)=1. D'autre part on a
> m=a1.b1.d
> On a c=a1.d.k=b1.d.l, donc a1.k=b1.l (car d0)
> Comme pgcd(a1,b1)=1, on a b1/k : on peut écrire k=b1.b2
> Finalement c=a1.d.b1.b2=m.b2 : CQFD
>
>[/color]
Bouh que vous êtes compliqués :
si a divise c et b divise c alors a*b divise c. Or ppcm(a,b) divise a*b
: il suffit d'appliquer la transitivité de la relation (d'ordre partiel
sur N) 'divise'...