假设AB和CD相交于M.
因为AD=AC,BC=BD,AB是公用边,所以三角形ADB全等于三角形ACB.
因此角DAM=角CAM,又AC=AD,AM是公用边,所以三角形ADM和三角形ACM全等.
于是DM=CM,且角DMA=角CMA.
因为角DMA+角CMA=180度,所以角DMA=角CMA=90度.
也即AB和CD垂直相交于M,又DM=CM,所以AB垂直平分CD.