perpendicular_arc_through_point

perpendicular_arc_through_point(circle, circle_point, point)

Return an arc that is:

• perpendicular to circle at circle_point,

• starts at circle_point and goes through point,

• and (if point lies on the circle) is perpendicular there as well.