EisatoponAI: Δύο κανονικά εξάγωνα

Το μεγαλύτερο κανονικό εξάγωνο στο παρακάτω διάγραμμα έχει μήκος πλευράς $1$.

Πάνω από το εξάγωνο υπάρχει ένα άλλο, μικρότερο εξάγωνο που είναι εγγεγραμμένο μεταξύ του μεγαλύτερου εξαγώνου και του κύκλου. Ποιο είναι το μήκος πλευράς του μικρότερου κανονικού εξαγώνου;