请问这一段判断直线相交代码的原理是什么？

Question

在某个项目中遇到下面的代码，用来判断直线是否相交，但不明白其中的数学原理是什么，请各位指点一下，非常感谢~

这是测试用例：