Category:Point of Perpendicular Intersection on Real Line from Points in Complex Plane