1. (2022八下·惠山期末) 欧几里得在《几何原本》中，记载了用图解法解方程x²+ax＝b²的方法，类似地我们可以用折纸的方法求方程x²+x﹣1＝0的一个正根.如图，一张边长为1的正方形的纸片ABCD，先折出AD，BC的中点E，F，再沿过点A的直线折叠使AD落在线段AF上，点D的对应点为点H，折痕为AG，点G在边CD上，连接GH，GF，线段BF、DG、CG和GF中，长度恰好是方程x²+x﹣1＝0的一个正根的线段为.