Desargues

cas non parallèle

> corollaire

cas parallèle

> corollaire

démonstration

démonstration 1

démonstration 2

Pappus Pascal

énoncé

autre formulation

démonstration

définitions

théorèmes absents

l13_2

Stats

statistiques

Théorème de Desargues

Etat d'avancement

  • tarski_axioms.v
  • Ch02_cong.v
  • Ch03_bet.v
  • Ch04_col.v
  • Ch04_cong_bet.v
  • Ch05_bet_le.v
  • Ch06_bis_nary_col.v
  • Ch06_out_lines.v
  • Ch07_midpoint.v
  • Ch08_orthogonality.v
  • Ch09_plane.v
  • Ch10_line_reflexvity.v
  • Ch11_angles.v
  • Ch12_parallel.v
  • Ch12_parallel_bis.v
  • Ch13_1.v
  • Ch13_2_length.v
  • Ch13_3_angles.v
  • Ch13_4_cos.v
  • Ch13_5_Pappus.v
  • Ch13_6_Desargues.v
  • Ch14_field.v (en cours)
  • hilbert_axioms.v
  • tarski_to_hilbert.v
  • quadrilaterals.v
  • quadrilaterals_bis.v
  • project.v
  • vectors.v
  • orientation.v
  • Tactics.v
  • aux.v
  • circumcenter.v
  • colMSets.v
  • construction_functions.v
  • general_tactics.v
  • gravityCenter.v
  • grravityCenterAux.v
  • orthocenter.v
  • perp_bisect.v
  • square.v
  • tarski_to_hilbert.v
  • tarski_to_makarios.v
  • triangle_midpoints_theorems.v
  • triangles.v
  • unit_tests.v