x1-x2等于at方用于什么时候