十字相乘法是如何推导的为什么会这样