展开 婆罗摩笈多定理证明过