如图,菱形ABCD中,AC,BD是对角线,∠ABC=30°,求证AB的平方=AC乘BD