在等边△ABC中,点D是直线AB上的一个动点,线段CD绕点C逆时针旋转60°得到线段CE,连接DE,BE.
如图3,将△ABC绕点C逆时针旋转60°得到△CDE,连接AB,DE交于点F,连接CF,若CF=5,BF=2,DF=3,求线段DE的长.
(发现证明)小聪把△ABE绕点A逆时针旋转90°至△ADG,从而发现EF=BE+FD,请你利用图(1)证明上述结论.
如图1,当tan∠PAB=1,c=4 时,a=,b=;
如图2,当∠PAB=30°,c=2时,a=,b=;
请你观察(1)中的计算结果,猜想a2、b2、c2三者之间的关系,用等式表示出来,并利用图3证明你的结论.
如图4,▱ABCD中,E、F分别是AD、BC的三等分点,且AD=3AE,BC=3BF,连接AF、BE、CE,且BE⊥CE于E,AF与BE相交点G,AD=3 ,AB=3,求AF的长.