On 11 mai, 10:12, lavau.ger...@NOSPAMlaposte.net wrote:

Cette formule remonte à Archimède (Traité de la méthode).
[...]
CQFD

Il faudra encore que je vérifie les calculs, mais je n'ai pas vu
d'erreur de raisonnement ni d'ambigüité dans explication.

Personnellement, je trouve incroyable qu'une telle abstraction ait pu
être conçue au IIIème siècle avant JC.

Oui.

Les démonstrations modernes utilisent le calcul intégral inventé à la
fin du XVIIème par Newton et Leibniz mais ne sont accessibles qu'au
niveau Terminale ou post-bac.

Les explications de Pichereau (sans doute brillantes, elles me donnent
une impression subjective de justesse) me semblent en effet un peu
trop mystérieuse pour que j'ai cru devoir répondre à son message. Je
ne connais pas le sens du mot intégrale.

Merci pour vos contributions (et dans ton cas pour la clarté de la
formulation).

A. H.