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