已知一个菱形的边长为a,求证菱形面积!