展开 为什么比例外项积等于内项积