证明：∵四边形ABCD是菱形，
∴四边形ABCD也是平行四边形，
又∵AC=BD（且AC，BD互相平分），
∴四边形ABCD也为矩形，
又∵四边形ABCD是菱形，
∴四边形ABCD是正方形．