Ich hab jetzt mal damit angefangen ein python script generieren zu lassen das von einem beliebig gedrehten regelmäßiges Fünfeck die Eckpunkte in der x/y Ebene ausrechnet und dann die Seitenlänge eines minimal großes waagerechtes Quadrat darum berechnet, wenn man das hat geht der Rest auch. Müsste man eigentlich nurnoch so skalerieren dass der Flächeninhalt des Pentagrams passt und dann über das ganze eine Optimierungs Funktion laufen lassen: Leider hat es mir die Optimierungs Funktion nicht direkt hingeschrieben, fand aber umso cooler dass er trotzdem direkt verstanden hat was der Kern des Problems ist:
Naja das ist auf jedenfall ein Teil des Weges, bin aber wie immer zu faul das jetzt richtig zu machen.
Finde aber den numerischen Weg wie immer unbefriedigend, wäre schon mal interessant wie man das ohne beweist.