Démontrer

"démontrer" dans l'encyclopédie

• BIOT DÉMONTRE L'ORIGINE EXTRATERRESTRE DES MÉTÉORITES

  • Écrit par James LEQUEUX
  • 1 667 mots

  Il peut aujourd'hui paraître curieux que les météorites n'aient pas attiré l'attention des savants avant la fin du xviiie siècle. Mais la plupart d'entre eux partageaient alors l'opinion de Newton selon laquelle il ne pouvait exister de petits objets dans l'espace interplanétaire. L'Allemand Ernst Florenz Friedrich Chladni avait cependant suggéré en 1794 qu'un bloc ferreux de 700 kilogrammes environ trouvé dans la région de Krasnoïarsk, en Sibérie, et examiné en 1772 par Piotr Simon Pallas, pourrait bien provenir de cet espace.

• RÖMER DÉMONTRE QUE LA VITESSE DE LA LUMIÈRE N'EST PAS INFINIE

  • Écrit par James LEQUEUX
  • 1 180 mots

  Invité en 1671 par Jean-Dominique Cassini à séjourner à l'Observatoire de Paris, l'astronome danois Ole Christensen Römer (1644-1710) y étudie notamment le mouvement des satellites galiléens de Jupiter, découverts en 1610 par Galilée. Il constate que les occultations de ces satellites par la planète sont en retard par rapport aux prédictions des éphémérides lorsque la Terre est loin de Jupiter, et qu'ils sont en avance lorsque la Terre en est plus proche.

• DÉMONSTRATION (notions de base)

  • Écrit par Philippe GRANAROLO
  • 16 972 mots

  Un moment privilégié fut la tentative de certains géomètres de la fin du xixe siècle de démontrer par l’absurde le cinquième postulat d’Euclide, selon lequel, « par un point en dehors d’une droite ne peut passer qu’une seule parallèle à cette droite ». On a recours à une démonstration par l’absurde quand il s’avère impossible de démontrer directement une proposition.

• PARALOGISME

  • Écrit par Françoise ARMENGAUD
  • 1 408 mots

  Historiquement, sont demeurés célèbres les paralogismes de la raison pure énoncés par Kant dans la dialectique de la Critique de la raison pure (1781) : la psychologie rationnelle prétendait à tort pouvoir démontrer grâce à eux certaines propriétés de l'âme (à savoir sa substantialité, sa simplicité, sa personnalité, l'idéalité de ses représentations).

• VOEVODSKY VLADIMIR (1966- )

  • Écrit par Antoine CHAMBERT-LOIR
  • 4 110 mots

  Cela généralise l'approche suivie pour démontrer la conjecture de Milnor en degré 1 (où elle revient à la « théorie de Kummer ») ou en degré 2 (travaux d'Alexander S. Merkurjev et Andreï Suslin). Dans le cas du degré 3, elle a été démontrée en 1986, simultanément par Markus Rost et par Merkurjev et Suslin. Pour démontrer cet énoncé, Voevodsky utilise plusieurs ingrédients : – Sa théorie des opérations de Steenrod en cohomologie motivique.