Aspect métrique sur les bissectrices

Voici un résultat métrique que l'on montre généralement en géométrie euclidienne par la cocyclicité alors que la propriété est absolue (nous le montrerons) c'est-à-dire vraie aussi en géométrie elliptique et hyperbolique. 

En géométrie euclidienne, cette propriété de milieu a des conséquence intéressantes en terme de "co-conicité" : coniques passant par 6 points.
Voir des détails (dans abraCAdaBRI)