Salut.
Encore un truc d'économe.
Cette fois il s'agit de quatre ville disposées aux quatre sommets d'un carré. Ce sont des villes nouvelles, et se pose le problème de les relier par un réseau routier. Fidèle à la tradition, notre carré a pour coté l'unité. Comment relier les quatre villes par un réseau le plus court possible ?
Note. La valeur numérique que vous allez trouver, semble bien, intuitivement, répondre à la question. Et si je ne vous demande pas de démontrer que c'est effectivement la bonne réponse, c'est surtout, parce que j'en suis incapable moi-même.
Je crois que cette démonstration tient du calcul des variations. S'il y a des amateurs, à vos chaines d'arpenteurs !
-----