展开 长方形性质定理