导学案7.1为什么要证明