Nota: Dado que su pregunta solicita el método de resolución, ignoro deliberadamente los parámetros del problema, para no dar realmente la solución.
Para encontrar la ecuación de la línea perpendicular a [math] AB [/ math], solo necesita notar que cuando escribe la ecuación de una línea (vector) como
[matemática] hacha + por = 0 [/ matemática],
puedes reescribirlo como una ecuación vectorial:
[matemáticas] (a, b) • (x, y) = 0 [/ matemáticas], (• siendo el producto punto)
lo que significa que el vector [math] ~ (a, b) ~ [/ math] es perpendicular a [math] ~ (x, y) ~ [/ math] (o [math] ~ (x, y) = (0,0 ) ~ [/ math] pero [math] ~ (x, y) ~ [/ math] se refiere a * todos * los puntos de la línea),
por lo tanto, [math] ~ (a, b) ~ [/ math] es un vector de dirección de la línea perpendicular. (y dado que el término independiente no afecta la pendiente de la línea, aún funciona cuando ese término no es cero)
Para la parte final de la pregunta, si bien se le pide que use la ecuación de la línea perpendicular para encontrar C, creo que es aburrido, por lo que proporcionaré algunas formas adicionales de encontrarla.
La solución prevista:

En la imagen, tenemos esencialmente la misma situación que en el problema, pero con diferentes coordenadas y ecuaciones.
Como puede ver, C es la intersección del círculo y la línea cuya ecuación acabamos de descubrir en b) . Puedes usar Thales y algunas propiedades del círculo para demostrarlo. Encontrar C es solo una cuestión de resolver un sistema de ecuaciones.
Otras soluciones:
Una solución es reescribir la ecuación del círculo como
[matemáticas] (x-x_0) ^ 2 + (y-y_0) ^ 2 = r ^ 2 [/ matemáticas]
donde [math] ~ (x_0, y_0) ~ [/ math] es el centro del círculo y [math] ~ r ~ [/ math] es su radio.
Desde allí, puede encontrar la ecuación de la línea que pasa por A y el centro del círculo, y encontrar la intersección de esa línea con el círculo;
O
Puede notar que C es la imagen de A por simetría del centro [matemáticas] ~ (x_0, y_0) [/ matemáticas], lo que significa que
[matemáticas] C = (x_0-x_a, y_0-y_a) [/ matemáticas]
donde [math] ~ (x_a, y_a) ~ [/ math] son las coordenadas de A en relación con [math] ~ (x_0, y_0) [/ math].
(Encuentro esta forma de encontrar C mucho más elegante, ya que evita los tediosos cálculos de encontrar las ecuaciones)