设四边形ABCD,连接AC,作AE⊥BD CF⊥BD,由AB²+CD²=AD²+BC²
和勾股定理得BE²+DF²=BF²+DE² E,F重合,则AE,CF是一条直线