。

如果从原点A出发去寻找S，就必须要一条条的验证，因为A散发出了无数条线段，一一去做验证计算量就太庞大了。

那么是否能找到一个表达式Y，使得从原点A的周边范围做判断，就能够按照表达式Y，找出那条通往S的线段P？

假设表达式Y是存在的，可以终点S以及线段P，反论证表达式Y，再以Y去反推原地A，反推的过程中，只需要证明Y和A、P没有任何相关性，就可以确定Y是不存在的。