Exo sympa

Questions d’ordre mathématique et petits défis
Règles du forum
Pas d’aide aux devoirs de lycée ! ;-)
Avatar de l’utilisateur
Pafnouti42
Sénateur
Messages : 2271
Inscription : 03 juin 2015, 19:17

Exo sympa

Messagepar Pafnouti42 » 28 août 2015, 17:25

Après avoir marqué tous les messages comme lus (oh oui ça fait du bien :P), me revoici avec le petit pb suivant : soit [math] un entier non nul, montrer que

$$\lfloor \sqrt{n} \rfloor+\lfloor \sqrt[3]{n} \rfloor+\dots+\lfloor \sqrt[n]{n} \rfloor=\lfloor \log_2 n \rfloor+\lfloor \log_3 n \rfloor+\dots+\lfloor \log_n n \rfloor$$
2017 - : ENSTA ParisTech
2016 - 2017 : MP*
2015 - 2016 : MPSI 1 [Pwet]
Avant : c'était avant

"Lourd est le parpaing de la réalité sur la tartelette aux fraises de nos illusions." (Boulet)

Avatar de l’utilisateur
Kennedjiro
Député
Messages : 927
Inscription : 01 oct. 2014, 21:09

Re: Exo sympa

Messagepar Kennedjiro » 28 août 2015, 20:47

Pafnouti42 a écrit :Après avoir marqué tous les messages comme lus (oh oui ça fait du bien :P), me revoici avec le petit pb suivant : soit [math] un entier non nul, montrer que

$$\lfloor \sqrt{n} \rfloor+\lfloor \sqrt[3]{n} \rfloor+\dots+\lfloor \sqrt[n]{n} \rfloor=\lfloor \log_2 n \rfloor+\lfloor \log_3 n \rfloor+\dots+\lfloor \log_n n \rfloor$$

[math] strictement supérieur à 1 ou inférieur à -1 ? Sinon c'est moche. :?
2015-2016 — MPSI3
2016-2017 — MP*
2017-? — École des Ponts ParisTech

*Le type qui joue du piano entre 7h30 et 8h pour bien vous réveiller :mrgreen: *

~ Dévoreur d'anime, adorateur de Cthulhu et pianiste invétéré de Touhou ~

Avatar de l’utilisateur
Vanxoo_
Député
Messages : 609
Inscription : 08 juin 2015, 19:43

Re: Exo sympa

Messagepar Vanxoo_ » 28 août 2015, 20:57

Avec [math] négatif t'auras du mal ^^ je suppose que c'est [math] oui
2015-2016 : MP1
« Ben quand t’as une binité d’humains fertiles et amoureux du sexe opposé, tu attends un peu et ça fait une trinité, voilà tout… » — Milton, 2015

Avatar de l’utilisateur
Kennedjiro
Député
Messages : 927
Inscription : 01 oct. 2014, 21:09

Re: Exo sympa

Messagepar Kennedjiro » 28 août 2015, 20:58

Il a qu'à mieux poser son problème. :evil:
2015-2016 — MPSI3
2016-2017 — MP*
2017-? — École des Ponts ParisTech

*Le type qui joue du piano entre 7h30 et 8h pour bien vous réveiller :mrgreen: *

~ Dévoreur d'anime, adorateur de Cthulhu et pianiste invétéré de Touhou ~

Avatar de l’utilisateur
Vanxoo_
Député
Messages : 609
Inscription : 08 juin 2015, 19:43

Re: Exo sympa

Messagepar Vanxoo_ » 28 août 2015, 21:05

C'est vrai. Et il rentre en prépa, non mais j'vous jure.
2015-2016 : MP1
« Ben quand t’as une binité d’humains fertiles et amoureux du sexe opposé, tu attends un peu et ça fait une trinité, voilà tout… » — Milton, 2015

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 10998
Inscription : 14 juin 2013, 21:14
Localisation : Sur une carte ferroviaire

Re: Exo sympa

Messagepar Miltøn » 28 août 2015, 21:24

Il est loin devant. Il en est au stade où on n'a plus besoin d'être rigoureux pour se comprendre (et où on se rend compte qu'on s'est planté après avoir publié son papier... :roll: )
Ex-khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien du forum : me taper-dessus en cas de bug.

Qu’est-ce qui est jaune et qui va pas fermer ?

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ MASH 2017 ↝ ?

Avatar de l’utilisateur
Vanxoo_
Député
Messages : 609
Inscription : 08 juin 2015, 19:43

Re: Exo sympa

Messagepar Vanxoo_ » 28 août 2015, 22:05

En fait je crois que j'ai trouvé :
Si on évalue le membre de droite à partant du bout, on trouve des 1+1+... jusqu'au moment où on rencontre [math] tel que [math]. Ensuite, on trouve 2+2+... jusqu'au moment où on rencontre [math] tel que [math], et ainsi de suite. Or pour tout [math], le premier [math] tel que [math] c'est précisément [math].
Ainsi, on a [math] logarithmes qui valent 1, [math] logarithmes qui valent 2, etc.
Donc :
[math]
Ce qu'on ajoute vaut 0 partir d'un moment, mais on s'en fout duquel précisément.
C'est bien pratique tout se simplifie, et on obtient :
[math]
et comme [math], on obtient le résultat attendu.
2015-2016 : MP1
« Ben quand t’as une binité d’humains fertiles et amoureux du sexe opposé, tu attends un peu et ça fait une trinité, voilà tout… » — Milton, 2015

Avatar de l’utilisateur
Pafnouti42
Sénateur
Messages : 2271
Inscription : 03 juin 2015, 19:17

Re: Exo sympa

Messagepar Pafnouti42 » 29 août 2015, 10:54

Pour ce qui concerne l'exo "mal posé", je pense que c'est du pinaillage antiproductif, tout le monde avait très bien compris l'énoncé :roll:

Sinon oui Vanxoo_ je pense que l'idée est là, après pour le rédiger proprement il faudrait à mon avis faire un joli tableau à double entrée et du double-comptage !
Mais en tout cas bien joué :wink:
2017 - : ENSTA ParisTech
2016 - 2017 : MP*
2015 - 2016 : MPSI 1 [Pwet]
Avant : c'était avant

"Lourd est le parpaing de la réalité sur la tartelette aux fraises de nos illusions." (Boulet)

Avatar de l’utilisateur
Vanxoo_
Député
Messages : 609
Inscription : 08 juin 2015, 19:43

Re: Exo sympa

Messagepar Vanxoo_ » 29 août 2015, 11:34

Moui, mais les tableaux en Latex, c'est chiant :?
2015-2016 : MP1
« Ben quand t’as une binité d’humains fertiles et amoureux du sexe opposé, tu attends un peu et ça fait une trinité, voilà tout… » — Milton, 2015

Avatar de l’utilisateur
Kennedjiro
Député
Messages : 927
Inscription : 01 oct. 2014, 21:09

Re: Exo sympa

Messagepar Kennedjiro » 29 août 2015, 11:41

Pafnouti42 a écrit :Pour ce qui concerne l'exo "mal posé", je pense que c'est du pinaillage antiproductif, tout le monde avait très bien compris l'énoncé :roll:

Pas moi. :(
2015-2016 — MPSI3
2016-2017 — MP*
2017-? — École des Ponts ParisTech

*Le type qui joue du piano entre 7h30 et 8h pour bien vous réveiller :mrgreen: *

~ Dévoreur d'anime, adorateur de Cthulhu et pianiste invétéré de Touhou ~

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 10998
Inscription : 14 juin 2013, 21:14
Localisation : Sur une carte ferroviaire

Re: Exo sympa

Messagepar Miltøn » 29 août 2015, 12:27

Un... tableau à double entrée ?! :o
Ex-khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien du forum : me taper-dessus en cas de bug.

Qu’est-ce qui est jaune et qui va pas fermer ?

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ MASH 2017 ↝ ?

Avatar de l’utilisateur
Pafnouti42
Sénateur
Messages : 2271
Inscription : 03 juin 2015, 19:17

Re: Exo sympa

Messagepar Pafnouti42 » 29 août 2015, 12:35

Milton a écrit :Un... tableau à double entrée ?! :o


Oui, dans lequel tu mets à la ligne i colonne j le nombre i^j (en t'arrêtant où il faut).
Là c'est vraiment pas clair sans un dessin, désolé :?
2017 - : ENSTA ParisTech
2016 - 2017 : MP*
2015 - 2016 : MPSI 1 [Pwet]
Avant : c'était avant

"Lourd est le parpaing de la réalité sur la tartelette aux fraises de nos illusions." (Boulet)

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 10998
Inscription : 14 juin 2013, 21:14
Localisation : Sur une carte ferroviaire

Re: Exo sympa

Messagepar Miltøn » 29 août 2015, 13:08

On a installé MathJax à ta demande, je te laisse t'en servir ! :mrgreen:
Ex-khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien du forum : me taper-dessus en cas de bug.

Qu’est-ce qui est jaune et qui va pas fermer ?

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ MASH 2017 ↝ ?

Avatar de l’utilisateur
Pafnouti42
Sénateur
Messages : 2271
Inscription : 03 juin 2015, 19:17

Re: Exo sympa

Messagepar Pafnouti42 » 29 août 2015, 13:20

Milton a écrit :On a installé MathJax à ta demande, je te laisse t'en servir ! :mrgreen:

Hum...Comment dire...Je dois retourner lire mes livres de français ? :mrgreen:
2017 - : ENSTA ParisTech
2016 - 2017 : MP*
2015 - 2016 : MPSI 1 [Pwet]
Avant : c'était avant

"Lourd est le parpaing de la réalité sur la tartelette aux fraises de nos illusions." (Boulet)

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 10998
Inscription : 14 juin 2013, 21:14
Localisation : Sur une carte ferroviaire

Re: Exo sympa

Messagepar Miltøn » 29 août 2015, 13:23

Et nourrir ton chat ! X)
Ex-khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien du forum : me taper-dessus en cas de bug.

Qu’est-ce qui est jaune et qui va pas fermer ?

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ MASH 2017 ↝ ?

Sketshup
Conseiller municipal
Messages : 13
Inscription : 19 août 2015, 21:18

Re: Exo sympa

Messagepar Sketshup » 29 août 2015, 15:47

Ma solution:

Soit n dans IN*\{1}. On note S(n) la somme des nombres de chiffres de n en représentation base de 1 jusqu'à n. C'est à dire, le nombre de chiffres en base 2 de n, plus le nombre de chiffres en base 3 de n, etc, jusqu'au nombre de chiffres en base n de n (qui est 1).

Par définition du logarithme base k, le côté droit est S(n). On prouve que le côté gauche est S(n).

Une autre façon de voir S(n) est la suivante: S(n) est la somme des nombres de représentations, qui contient au moins r chiffres. C'est à dire, le nombre de représentations avec au moins 1 chiffre, plus, le nombre de représentations avec au moins 2 chiffres, etc, jusqu'au nombre de représentations avec au moins k chiffres (avec k suffisamment grand). Il est facile de le voir avec un dessin, mais aussi de le démontrer par les ensembles (les chiffres de représentation bases {1, 2, ..., n}.

Le côté gauche représente cette sommation. En effet, soit k un entier tel que la représentation de n base k contient au moins r chiffres. Alors la partie entière de la racine r-ème de n est supérieure ou égale à k. Puisqu'on a (représentation base k contient au moins r chiffres => représentation base k-1 contient au moins r chiffres). Cela mène à k = partie entière de racine r-ème de n. Ce qui conclut la solution.

COMMENTAIRE: En effet, l'approche la plus naturelle qui m'a paru est de faire un dessin représentant la quantité de droite facilement manipulable (le nombre de chiffres en représentation base k), et paf, voyant le dessin d'une autre façon, tu vois le côté droite apparaître comme par magie!!

Avatar de l’utilisateur
Vanxoo_
Député
Messages : 609
Inscription : 08 juin 2015, 19:43

Re: Exo sympa

Messagepar Vanxoo_ » 29 août 2015, 16:04

Oh, j'aime bien ta solution, la clé du truc est la même que pour la mienne (le fait que [math] pour moi, et [math] a au moins [math] chiffres en base k pour toi, implique que [math] soit [math]) mais ta manière de compter est mieux, on a directement la somme sans avoir à simplifier
2015-2016 : MP1
« Ben quand t’as une binité d’humains fertiles et amoureux du sexe opposé, tu attends un peu et ça fait une trinité, voilà tout… » — Milton, 2015

Avatar de l’utilisateur
Pafnouti42
Sénateur
Messages : 2271
Inscription : 03 juin 2015, 19:17

Re: Exo sympa

Messagepar Pafnouti42 » 29 août 2015, 16:48

Bravo pour ta solution Sketshup, c'est exactement ce que j'évoquais :)
2017 - : ENSTA ParisTech
2016 - 2017 : MP*
2015 - 2016 : MPSI 1 [Pwet]
Avant : c'était avant

"Lourd est le parpaing de la réalité sur la tartelette aux fraises de nos illusions." (Boulet)

Avatar de l’utilisateur
Kennedjiro
Député
Messages : 927
Inscription : 01 oct. 2014, 21:09

Re: Exo sympa

Messagepar Kennedjiro » 29 août 2015, 17:40

On a jamais traité les logarithmes comme ça nous... On a même pratiquement jamais parlé du logarithme base k. :?
2015-2016 — MPSI3
2016-2017 — MP*
2017-? — École des Ponts ParisTech

*Le type qui joue du piano entre 7h30 et 8h pour bien vous réveiller :mrgreen: *

~ Dévoreur d'anime, adorateur de Cthulhu et pianiste invétéré de Touhou ~

Avatar de l’utilisateur
Vanxoo_
Député
Messages : 609
Inscription : 08 juin 2015, 19:43

Re: Exo sympa

Messagepar Vanxoo_ » 29 août 2015, 17:49

Le truc important pour l'exo c'est que [math], ça m'étonnerait que vous l'ayez pas fait quand même (après, le lien avec le nombre de chiffres pas forcément)
2015-2016 : MP1
« Ben quand t’as une binité d’humains fertiles et amoureux du sexe opposé, tu attends un peu et ça fait une trinité, voilà tout… » — Milton, 2015

Avatar de l’utilisateur
Kennedjiro
Député
Messages : 927
Inscription : 01 oct. 2014, 21:09

Re: Exo sympa

Messagepar Kennedjiro » 29 août 2015, 19:04

Vanxoo_ a écrit :Le truc important pour l'exo c'est que [math], ça m'étonnerait que vous l'ayez pas fait quand même (après, le lien avec le nombre de chiffres pas forcément)

Évidemment j'avais compris ça, mais je ne vois pas le lien avec la suite du raisonnement. :|
2015-2016 — MPSI3
2016-2017 — MP*
2017-? — École des Ponts ParisTech

*Le type qui joue du piano entre 7h30 et 8h pour bien vous réveiller :mrgreen: *

~ Dévoreur d'anime, adorateur de Cthulhu et pianiste invétéré de Touhou ~

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 10998
Inscription : 14 juin 2013, 21:14
Localisation : Sur une carte ferroviaire

Re: Exo sympa

Messagepar Miltøn » 29 août 2015, 19:07

Ça permet d’en déduire le nombre de chiffres d’un nombre en base b.
Ex-khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien du forum : me taper-dessus en cas de bug.

Qu’est-ce qui est jaune et qui va pas fermer ?

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ MASH 2017 ↝ ?

Avatar de l’utilisateur
Kennedjiro
Député
Messages : 927
Inscription : 01 oct. 2014, 21:09

Re: Exo sympa

Messagepar Kennedjiro » 29 août 2015, 19:14

Milton a écrit :Ça permet d’en déduire le nombre de chiffres d’un nombre en base b.

Oooooh je vois le lien maintenant ! Je ne l'avais jamais interprété comme ça, mais effectivement après tous ces calculs en base 2 au stage d'informatique ça semble évident. :mrgreen:
2015-2016 — MPSI3
2016-2017 — MP*
2017-? — École des Ponts ParisTech

*Le type qui joue du piano entre 7h30 et 8h pour bien vous réveiller :mrgreen: *

~ Dévoreur d'anime, adorateur de Cthulhu et pianiste invétéré de Touhou ~

kranaud54
Citoyen
Messages : 1
Inscription : 30 nov. 2016, 09:36
Localisation : paris

Re: Exo sympa

Messagepar kranaud54 » 30 nov. 2016, 09:37

(pub)
Dernière édition par tphi le 30 nov. 2016, 18:43, édité 1 fois.
Raison : Censure

Avatar de l’utilisateur
thuiop
Secrétaire d’État chargé de la Modération
Messages : 1587
Inscription : 04 avr. 2016, 20:19

Re: Exo sympa

Messagepar thuiop » 30 nov. 2016, 18:06

We always knew they'd be back.
Milton a écrit :I choose you!
"Vous avez toute la grâce d'un aigle ... qui pilote un dirigeable" GLaDOS
2013-2016 : Lycée Pierre-Paul Riquet
2016-2017 : MPSI1
2017-2018 : MP*
PPB, the last newspaperbender.

Avatar de l’utilisateur
tphi
Chancelier suprême
Messages : 5755
Inscription : 28 août 2010, 20:15
Localisation : Hikarizaka-shi

Re: Exo sympa

Messagepar tphi » 30 nov. 2016, 18:43

Raté, c'est tphi qui intervient.
 Administrateur galactique du forum.
 MPSI2 ➝ XM2.

«Le désespoir n'est pas une idée; c'est une chose, une chose qui torture, qui serre et qui broie le cœur d'un homme comme une tenaille, jusqu'à ce qu'il soit fou et se jette dans la mort comme dans les bras d'une mère» (Alfred de Vigny, 1835)

Avatar de l’utilisateur
Dⓐ Яøʊƭ
Icon Diluvii
Messages : 8975
Inscription : 10 août 2015, 14:38
Localisation : Rennistan

Re: Exo sympa

Messagepar Dⓐ Яøʊƭ » 01 déc. 2016, 19:36

Wow, moi qui ai cru un court instant que le forum reprenait vie... Mais ce n'était qu'un frémissement mensonger :'(
J'y remédie de ce pas.
Le Röuf est de retouffe, en attente du prochain ban.
« Le seul Plébéien à avoir posté dans le coin des Modos » — Milton
Fidèle à lui-même en
MPSI3 [Rendering math]\leadsto XM1 [Rendering math]\leadsto MP* [Rendering math]\leadsto ENS Rennes

Avatar de l’utilisateur
Miltøn
Premier consul
Messages : 10998
Inscription : 14 juin 2013, 21:14
Localisation : Sur une carte ferroviaire

Re: Exo sympa

Messagepar Miltøn » 24 déc. 2016, 13:45

Tu disais ?
Ex-khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien du forum : me taper-dessus en cas de bug.

Qu’est-ce qui est jaune et qui va pas fermer ?

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ MASH 2017 ↝ ?


Revenir vers « Forum maths »

Qui est en ligne ?

Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 1 invité