Cada línea o círculo en CC\mathbb{C} son conjuntos de soluciones para la ecuación...

Aquí hay un problema de tarea de análisis complejo que no puedo entender:

Demuestre que cada línea o círculo en C es el conjunto solución de una ecuación de la forma a | z | 2 + w ¯ z + w z ¯ + b = 0 , dónde a , b R y w , z C . Por el contrario, demuestre que cada ecuación de esta forma tiene una línea, un círculo, un punto o el conjunto vacío como su conjunto solución.

Hasta ahora, he tratado de reescribir la ecuación de una recta en R 2 como y = metro X + b en C , dónde metro es real y X , b son complejos. Sé que una circunferencia en el plano complejo está dada por | z a | = r , dónde a es el centro y r es el radio.

También me di cuenta de que w ¯ z + w z ¯ = 2 Re ( w ¯ z ) . Simplemente no estoy seguro de cómo encajan todas estas piezas para responder a la pregunta. Cualquier ayuda sería muy apreciada.

Escribe la ecuación del círculo como | z a | 2 = r 2 . Y escribe la ecuación de la recta como r X + s y = t .
@DanielFischer Está bien. Todavía no estoy seguro de a dónde ir desde aquí. Después de examinar la ecuación a | z | 2 + w ¯ z + w z ¯ + b = 0 , noté que todo se reduce a números reales. ¿Cómo podría la ecuación de una línea o círculo, que involucra números complejos, ser el conjunto solución de una ecuación de valor real?
Generalmente, toda ecuación compleja corresponde a dos ecuaciones reales. Aquí tenemos la situación de que una de las dos ecuaciones reales es trivial ( 0 = 0 ), ya que la ecuación compleja es invariante bajo conjugación. Puedes cambiar entre la forma real y la forma compleja de la ecuación sustituyendo z = X + i y (y w = tu + i v ), resp. X = 1 2 ( z + z ¯ ) , y = 1 2 i ( z z ¯ ) . Si tomas la ecuación | z metro | 2 = r 2 de un circulo con centro metro y radio r , ¿ves cómo transformar eso en una ecuación de la forma dada?

Respuestas (3)

Necesitas usar la propiedad de la conjugación compleja para expresar la ecuación circular

| z z 0 | 2 = r 2 ( z z 0 ) ¯ ( z z 0 ) = r 2 ( z ¯ z 0 ¯ ) ( z z 0 ) = r 2 z z ¯ z ¯ z 0 z z 0 ¯ + | z 0 | 2 = r 2

Ahora haz la sustitución z 0 = α ¯ A dónde A R { 0 }

z z ¯ + z ¯ α ¯ A + z α A + | α ¯ A | 2 r 2 = 0

Multiplicando la ecuación por A

A z z ¯ + z α ¯ + z α + A ( | α A | 2 r 2 ) = 0

y entorno B = A ( | α A | 2 r 2 ) produce la forma general de la ecuación para un círculo en el plano complejo. Esta ecuación también describe líneas que pueden verse como círculos con radio infinito.

A z z ¯ + z α ¯ + z α + B = 0

Cuando A = 0 representa una línea,

z α ¯ + z α + B = 0

Puedes convencerte de que esta ecuación describe una línea estableciendo z = X + i y y α = pag + i q .

Esto tiene mucho sentido, gracias!

Una línea o círculo en el plano tiene una ecuación de la forma

D ( X 2 + y 2 ) + A X + B y + C = 0.
es una linea si D = 0 , pero A y B ambos no son cero; es un circulo si D 0 y A 2 + B 2 4 C D 2 > 0 . Entonces, la ecuación anterior representa una línea o un círculo si A 2 + B 2 4 C D 2 > 0 . La ecuación representa un solo punto si A 2 + B 2 4 C D 2 = 0 pero A y B ambos no son cero (entonces D 0 ). Representa el conjunto vacío cuando A 2 + B 2 4 C D 2 < 0 . (Asumiré que no todos los coeficientes son cero).

Colocar z = X + i y ; entonces

X = z + z ¯ 2 , y = z z ¯ 2 i = i z z ¯ 2 , X 2 + y 2 = z z ¯ .
Sustituyendo en la ecuación anterior obtenemos
2 D z z ¯ + A ( z + z ¯ i B ( z z ¯ ) + 2 C = 0
o
2 D z z ¯ + ( A i B ) z + ( A + i B ) z ¯ + 2 C = 0.
Configuración 2 D = a , A + i B = w y 2 C = b obtenemos el formulario solicitado.

Lo contrario es simplemente hacer la sustitución inversa: establecer D = a / 2 , C = b / 2 , A = ( w + w ¯ ) / 2 y B = ( w w ¯ ) / ( 2 i ) . También A 2 + B 2 = w w ¯ .

La condición para una línea/círculo dice

w w ¯ 4 b 2 a 2 4 > 0
o
2 w w ¯ a 2 b > 0.
Punto único cuando 2 w w ¯ = a 2 b 0 , conjunto vacío cuando 2 w w ¯ a 2 b < 0 .

Las ecuaciones para círculos y rectas sobre R son ecuaciones cuadráticas donde el término cuadrático es de la forma a X 2 + a y 2 . A partir de sus observaciones sobre la realidad del término lineal, se deduce la afirmación.