阅读理解：小明热爱数学，在课外书上看到了一个有趣的定理﹣﹣“中线长定理”：三角形两边的平方和等于第三边的一半与第三边上的中线的平方和的两倍．
如图1，在△ABC中，点D为BC的中点，根据“中线长定理”，可得：AB2+AC2=2AD2+2BD2 ． 小明尝试对它进行证明，部分过程如下：
解：过点A作AE⊥BC于点E，如图2，在Rt△ABE中，AB2=AE2+BE2 ，
同理可得：AC2=AE2+CE2 ， AD2=AE2+DE2 ，
为证明的方便，不妨设BD=CD=x，DE=y，
∴AB2+AC2=AE2+BE2+AE2+CE2=…
