菱形的定义：有一组邻边相等的平行四边形是菱形。
设四边形ABCD中，AB等于BC等于CD等于DA。
因为AB等于CD，AD等于BC，所以根据平行四边形的判定定理可知四边形ABD为平行四边形。
又因为AB、BC这两条临边相等，所以平行四边形ABCD为菱形。
