梯形ABCD的对角线DB垂直于底边BC,O为另一条对角线的中点