Nov 8, 2022
Suppose P is a point on the circle ⊙C. When is the sum of distances from P to two edges of ∠O extremal? It turns out to be related to angle bisectors (the intersections of ⊙C and the bisector of ∠O or its adjacent supplementary angle are extremals), while the edge cases (at the intersections of ⊙C and edges of ∠O) are a little tricky: we need to use the bisectors to divide the plane into four quadrants, pick the two quadrants where the line intersecting ⊙C at P lies, translate the region to make it center at C, and see whether P is inside the translated region.