证明：
∵ABCD是平行四边形
∴∠B=∠D
又∵∠BAC=∠DAC
AC=AC
∴三角形BAC全等于三角形DAC
∴AB=AD
∴ABCD是菱形