Arbre de Steiner de quatre points

Étant donnés des points du plan A,B,C,D, trouver le graphe planaire de longueur minimale reliant ces points entre eux.

Cette figure donne la solution et guide vers la démonstration, vous pouvez cacher-montrer certains éléments de cette démonstration.