展开 婆罗摩笈多模型证明面积相等