Inscription / Connexion Nouveau Sujet
Niveau école ingénieur
Partager :

formule de Legendre

Posté par
Maesan
02-07-23 à 12:23

Bonjour à tous et merci de me lire.

En fait j'ai un soucis en arithmétique. C'est le suivant:
Montrer que [(2m)!(2n)!]/[m!n!(m+n)!] est un entier.

L'indication demande d'utiliser la formule de Legendre et le fait que E(2x)+E(2y)E(x)+E(y)+E(x+y)

Avec E la fonction partie entière.
Je ne vois vraiment pas comment exploiter la formule de Legendre et ce fait pour prouver cela.
Merci beaucoup.

Posté par
GBZM
re : formule de Legendre 02-07-23 à 14:41

Bonjour,
Vrai, tu ne vois pas ? La formule de Legendre ne fait-elle pas intervenir la fonction partie entière ? Peux-tu la rappeler ?

Posté par
Maesan
re : formule de Legendre 02-07-23 à 14:57

Elle dit que la valuation p adique d'un facteur premier p dans n est E(n/p)+E(n/p^2)+… mais mon problème je ne sais comment je pourrais l'exploiter

Posté par
GBZM
re : formule de Legendre 02-07-23 à 15:01

M'enfin ?
Qu'est-ce que te dit la formule de Legendre pour la valuation p-adique de (2m)!\,(2n)! ? pour celle de m!\,n!\,(m+n)! ?
Ça ne fait pas tilt avec E(2x)+E(2y)\leq E(x)+E(y)+E(x+y) ?

Posté par
Maesan
re : formule de Legendre 02-07-23 à 18:01

C'est supérieur je pense bien?Pour la relation avec les parties entières.

Pour chaque produit ça sera la somme des valuation p-adiques. Pour le rapport ça sera la soustraction de la valuation du haut par celle du bas. Pour un p choisi, on trouvera que la valuation p adique est positive.
Et donc que le rapport  c'est un entier
Bon mon soucis c'est le p qu'on choisi. il apparaît dans quelle factorielle svp?
Comment est-il défini?

Posté par
GBZM
re : formule de Legendre 02-07-23 à 19:09

Oui, c'est supérieur ou égal.

Rappel : un entier a >0 divise un entier b>0 (autrement dit b/a est entier) si et seulement si pour tout nombre premier p, la valuation p-adique de a est inférieure ou égal à la valutation p-adique de b.

Il convient donc ici de vérifier l'inégalité sur les valuations p-adiques pour TOUS le premiers p.
Àtoi de jouer.

Posté par
Maesan
re : formule de Legendre 02-07-23 à 21:14

D'accord compris merci beaucoup



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1675 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !