| Attributes | Values |
|---|
| rdfs:label
| - Constant d'Erdős–Borwein (ca)
- Constante d'Erdős-Borwein (fr)
- Constante de Erdős–Borwein (es)
- Erdős–Borwein constant (en)
- Erdős–Borweins konstant (sv)
- Stała Erdősa-Borweina (pl)
- エルデシュ・ボーウェイン定数 (ja)
- 埃尔德什-波温常数 (zh)
- Константа Эрдёша — Борвейна (ru)
|
| rdfs:comment
| - La constante d'Erdős-Borwein est la somme E des inverses des nombres de Mersenne (non nécessairement premiers) : . On peut démontrer que la première égalité ci-dessus équivaut à chacune des suivantes : où σ0 = d est la fonction nombre de diviseurs, une fonction multiplicative donnant le nombre de diviseurs positifs du nombre de départ. Pour démontrer que ces sommes sont égales, notons qu'elles prennent toutes la forme d'une série de Lambert et peuvent ainsi être resommées comme telles. (fr)
|
| rdfs:seeAlso
| |
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| named after
| |
| has abstract
| - La constante d'Erdős-Borwein est la somme E des inverses des nombres de Mersenne (non nécessairement premiers) : . On peut démontrer que la première égalité ci-dessus équivaut à chacune des suivantes : où σ0 = d est la fonction nombre de diviseurs, une fonction multiplicative donnant le nombre de diviseurs positifs du nombre de départ. Pour démontrer que ces sommes sont égales, notons qu'elles prennent toutes la forme d'une série de Lambert et peuvent ainsi être resommées comme telles. Paul Erdős a démontré en 1948 que E est un nombre irrationnel. En 1991, Peter Borwein a montré que plus généralement, pour tout entier relatif q et tout rationnel non nul r,dès que la série converge, c'est-à-dire q différent de 0 et ±1 et r non puissance de q. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)