你自己懒,不肯算
设y3=k3x+b3
直线y3与y1关于y2对称
设（x0,y0)在y1上 y0=k1x0+b1
其关于y2的对称点为（x0",y0") [(x0+x0")/2,(yo+y0")/2]在y2 上
连立方程 解出（x0,y0) (x0",y0")
剩下的自己算