举个例子:当直线AB和CD满足什么条件时,四边形ABCD是菱形?请加以证明.