正方形の中に正三角形が入っている時だけ使えるテクニック

$ $
$ $
$ $
$ $
$ $
$PG=GF$となるように$AB$上に点$P$を取る。
この時、$\triangle EPF$の外心は点$G$なので、$\angle EPA=30^{\circ}$
$AE:AP=1:\sqrt{3}$より$AP=6$
$PG=GF$より、
$DG-AP=AF-DG$
$7-6=AF-7$
$AF=8$
ppp