一水库大坝的横截面积是梯形ABCD,AD∥BC,在水库有水的情况下测得背水坡AB的长度为12米,∠BAD=135°,∠A