Réunion numéro 7
2 participants
Page 1 sur 1
Réunion numéro 7
par AlexisMazaudier Dim 7 Avr - 12:43
Salut à tous,
Pour la prochaine réunion, c'est Miloud qui nous donnera la date et l'heure pour pouvoir y faire participer Mr Michelucci.
L'objectif de cette réunion sera essentiellement de lui exposer notre avacée dans le sujet et lui expliquer nos choix quant à l'application.
Miloud, à toi la parole !
Pour la prochaine réunion, c'est Miloud qui nous donnera la date et l'heure pour pouvoir y faire participer Mr Michelucci.
L'objectif de cette réunion sera essentiellement de lui exposer notre avacée dans le sujet et lui expliquer nos choix quant à l'application.
Miloud, à toi la parole !
AlexisMazaudier- Chef de Projet
- Messages : 121
Date d'inscription : 14/02/2013
Miloud- Responsable Communication
- Messages : 76
Date d'inscription : 14/02/2013 -
Re: Réunion numéro 7
par Miloud Dim 7 Avr - 15:45
Ok, c'est bon. Réunion jeudi 10h15 en A107 avec M. Michelucci.
Miloud- Responsable Communication
- Messages : 76
Date d'inscription : 14/02/2013 -
Re: Réunion numéro 7
par AlexisMazaudier Dim 7 Avr - 15:48
Parfait, je prépare cette réunion tout de suite.
AlexisMazaudier- Chef de Projet
- Messages : 121
Date d'inscription : 14/02/2013
Re: Réunion numéro 7
par Miloud Ven 12 Avr - 5:07
Précisions de M. Michelucci par mail :
Les théorèmes sur les cercles sont de Miquel.
Pour vos déductions, n'oubliez pas les règles "triviales":
a b c alignés, a b d alignés ==> b c d alignés, a c d alignés
a p1 p2 p3 p4 p5 est un hexamys , b p1 p2 p3 p4 p5 est un hexamys ==> tous les sextuplets de
a b p1 ... p5 sont des hexamys (car les 7 points sont sur la meme conique)
sous hypothèse de généricité (pas de points égaux par ex)
Enfin vous pouvez paramétrer votre prouveur par les règles que vous avez le droit d'utiliser;
seulement Pappus; (ce qui permet de prouver haxamys par Pappus, par exemple)
Pappus et hexamys (ca permet de trouver des preuves + courtes)
etc
Miloud- Responsable Communication
- Messages : 76
Date d'inscription : 14/02/2013 -
Sujets similairesPage 1 sur 1
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum|
|
|