Lab: y=0.5x-0.5
l: y=-2x+4.5
(x-2)^2+(y-0.5)^2=3.75
取AB中点D(2,0.5),过D做l垂直于直线AB,l的方程是第二个
以D为圆心,AB的一半的√3倍为半径做圆,与l有两个交点,交点坐标满足方程三
联立二、三,解方程组就可以求出C点的坐标了