第七题用的是什么定理?数学八年级上册.