展开 婆罗摩笈多定理推论