Simone问题补充说明：如题,成立的话帮我写出理由和逆定理
成来自立。
逆定理如SeraphiMLucI的叙述360问答。
形式化的叙述如下:
设凸四边形ABCD中，E是AB的中点，F是CD的中点，AD+BC=2EF，则AD//BC。
证明如下:
连接AC，取AC的中点G，连接EG、FG。显然EG是三角形ABC的中位线，FG是三角形ACD的中位线，则EG+FG=1/2(AD+BC)=EF。这说明G点就在EF上，否则GEF构成一个三角形，两边之和必大于第三边。三角形ABC和三角形ACD的中位线都在EF上，所以有AD//EF//BC。
