我记得好象没有这条定理.
不过你这样写应该老师能理解吧!
实在不放心只有再用矩形证.(中垂线应该把这个矩形分成了两个全等的矩形)
是该加一条这样的定理了,就把它叫做“「蜗牛」 定理”.