Bonjour,

  Suite à ce fil : alignement des milieux des hauteurs  que je ne voulais pas surcharger, j'en ouvre un nouveau, informatif, relatif à cette question :

  Il y a largement plus de 30 000 points répertoriés dans ETC. Sans une méthode efficace, c'est peine perdue. Le site explique comment s'y prendre (et je suis bien convaincu que beaucoup "savent") mais je me propose d'expliciter ici une des procédures possibles :

Je reprends pour exemple le fil en lien ci dessus :   alignement des milieux des hauteurs où on cherche à savoir si le centre du cercle figure dans ETC.

  On commence par faire une figure avec un triangle de côtés respectivement égaux à

On construit le point centre du cercle dont on veut vérifier l'existence dans ETC :

  

Le logiciel (ici GeoGebra) nous renvoie la première coordonnée trilinéaire du point, à savoir la distance algébrique à la droite ici négative (j'ai choisi 15 décimales).

On va ensuite dans l'onglet "Tables" de ETC et on sélectionne en bas de liste "Search 6.9.13" pour obtenir cette table :

Dans la colonne de droite, les premières coordonnées trilinéaires sont classées par ordre croissant. Il suffit de chercher la nôtre en scrollant.
On trouve dans notre exemple le numéro ETC 5893.

_{malou edit > ** ai mis dans "autre"**}