Because we can, let’s construct three circles, each centered at one of our original noncollinear points A, B, and C.
Because we can, let’s construct three circles, each centered at one of our original noncollinear points A, B, and C.
Use the distance from the respective center to D as the radial length.
Both D and F(D) are on each of the three circles by construction.