円Ｏの周上の３点Ａ,Ｂ,Ｃを頂点とする正三角形ＡＢＣをつくります。
点Ｄは辺ＢＣの中点
点Ｅは辺ＣＡ中点 です。
また
線分ＣＥ上に２点Ｃ,Ｅとは異なる点Ｆをとり
ＢＦの延長と円Ｏとの交点をＧ
ＤＥの延長と線分ＡＧとの交点をＨとします。
ＡＢ=ＢＣ=ＣＡ=７
ＣＧ=√７
のとき
線分ＤＨの長さはどのように求めればよいでしょうか？
（前問で△ＢＣＧ∽△ＡＨＥを証明しています。）