圆的周长是25.12厘米,角ABC等于45度,梯形oabc的面积是多少