Forum de mathématiques - Bibm@th.net

percolateur

Membre

Inscription : 19-10-2013

Messages : 4

Est-ce sûr ?

Bonjour,
cette relation que je trouve, est-elle sûre ou pas ?

10*exp(4*Pi))/1000000 -sqrt(1000000/exp(4*Pi)) = 1,000070

http://www.wolframalpha.com/input/?i=10 … *Pi%29%29+

merci

Roro

Membre expert

Inscription : 07-10-2007

Messages : 1 801

Re : Est-ce sûr ?

Bonjour,

Qu'est ce que tu attends comme réponse ?
Le lien que tu fournis est sûr... on peut effectivement croire le résultat qu'ils donnent.
Par contre tu ne peux pas enlever les décimales après 1.000070 si tu veux que ton égalité soit exacte.

Roro (qui n'a pas trop compris l'intérêt de la question).

percolateur

Membre

Inscription : 19-10-2013

Messages : 4

Re : Est-ce sûr ?

Merci pour ta réponse.
Oui, je souhaitais savoir, puisqu'un calculateur n'est pas transcendant, si on pouvait espérer que le résultat soit 1
ou que, compte tenu du résultat de Wolfram, il n'y a même pas à chercher une démonstration dans ce sens

Roro

Membre expert

Inscription : 07-10-2007

Messages : 1 801

Re : Est-ce sûr ?

Bonsoir,

Je comprend mieux ta demande…
En fait, l'ordinateur ne sait effectivement pas calculer en temps fini toutes les décimales de certains nombres réels, mais dans le cas présent l'erreur (par rapport à 1) est vraiment énorme du point de vue d'un ordinateur ([tex]10^{-6}[/tex] n'est pas très petit).
Mais effectivement il peut arriver qu'on utilise l'ordinateur pour conjecturer un résultat de ce type… la plupart du temps il faut quand même fournir une autre preuve pour valider la théorie.

Roro.

percolateur

Membre

Inscription : 19-10-2013

Messages : 4

Re : Est-ce sûr ?

Merci