作梯形的高CE交AB于点E,则△BCE中,CE=BC/2=AB/2(菱形的四条边都相等)
所以梯形面积=AB*CE=AB²
又因为梯形面积=AC*BD
所以AB²=AC*BD