Je ne me rappelais pas avoir eu autant de mal à comprendre le doublage de Donald en français avant. Jusqu'à ce que la voix-off apparaisse, j'étais convaincu que c'était une version originale. Même après, il y a plusieurs répliques que je n'ai pas comprises ! Je n'ai pas été jusqu'au bout, mais je me suis interrogé sur la compréhension par le public auquel c'est destiné

Moi j'ai été jusqu'au bout.

À la fin il est question de section d'un cône par un plan (ce qu'on appelle une conique en terminale scientifique).

De ce point de vue c'est ambitieux (même si le mot conique n'est pas prononcé et que l'on ne donne pas l'équation d'une parabole).

D'un autre côté ça reste très antiquité (hommage à Pythagore) et trop géométrique (je ne me souviens pas qu'Euclide ait été cité une seule fois).

L'avantage de la géométrie c'est que ça reste très visuel, c'est acceptable tant qu'on reste proche de l'analphabétisme.

L'inconvénient c'est que ça n'est pas moderne, c'est-à-dire pas constructiviste, en clair c'est bon pour observer mais pas pour concevoir.

J'ai deux remarques à faire à ce propos :

Parfois l'intuition géométrique vient après coup, une fois que l'on connaît déjà le résultat. Par exemple pendant des siècles on a cherché à calculer le volume de la boule. C'était une obsession de tous les savants, Léonard de Vinci a fait maints expérience pour tenter de l'évaluer sans jamais rien trouver (même pas une approximation). Or, et c'est facile à dire à postériori, une simple intuition géométrique aurait pu suggérer que le volume de la boule est proportionnel à R³. Une simple expérience suffit alors à déterminer approximativement la constante. Le dessin animé incite l'auditeur à penser que c'est comme cela que les choses se sont passées. Que intuition géométrique a précédé le calcul de la constante. Or c'est tout l'inverse : on a trouvé la formule du volume de la boule grâce au calcul intégral. Et c'est à ce moment là que l'évidence c'est fait jour que le volume ne pouvait être que proportionnel à R³.

Il est largement gestion du nombre d'or. Et les grecs l'ont sans doute découvert grâce à une intuition géométrique. Mais depuis Fibonacci toutes ces considérations géométriques sont dépassées.

Inductive fibo : nat -> Set :=
  | Zero: fibo 0
  | One:  fibo 1
  | Fibo: forall n, fibo n -> fibo (n+1) -> fibo (n+2).