Дан правильный пятиугольник `ABCDE` с длиной стороны `1`. Точка `F` делит `AB` на равные части, точки `G`, `H` лежат на сторонах `CD` и `DE`, соответственно, при этом `/_GFD = /_HFD = 30^@`. Докажите, что треугольник `GFH` равносторонний. Квадрат вписан в треугольник `GFH`, при этом одна сторона квадрата лежит на `GH`. Докажите, что длина `FG` равна `t = (2 * cos 18^@ * (cos 36^@)^2)/(cos 6^@)` и что длина стороны квадрата равна `(t*sqrt(3))/(2 + sqrt(3))`.
| 
|