VARIABLE COMPLEJA I

(MVCO1)
Licenciatura en Matemáticas

Unidad 1 Actividad 3

Jesús Abraham Rojas Úrzulo

jesus_rojas_urzulo@nube.unadmexico.mx
Matricula: ES1821013126
Jesús Abraham Rojas Úrzulo Licenciatura en Matemáticas
Matricula: ES1821013126 Variable Compleja (MVCO1)

Actividad 3
1.- Sean 𝑧, 𝑤 números complejos. Determina si la siguiente proposición es falsa verdadera y demuestra
tu afirmación: existe un orden “>” que satisface las siguientes condiciones:
La afirmación es falsa
Este orden debe cumplir condiciones de
i. 𝑧1 ≤ 𝑧1 → 𝑧1 = 𝑧1 , ningún numero se precede a sí mismo.
ii. 𝑧1 ≤ 𝑧2 𝑦 𝑧2 ≤ 𝑧3 → 𝑧1 ≤ 𝑧3 , transitividad
iii. 𝑧1 ≤ 𝑧2 𝑦 𝑧2 ≥ 𝑧1 → 𝑧1 = 𝑧2 , antisimetría
iv. 𝑧1 ≤ 𝑧2 → 𝑧2 ≥ 𝑧1 , totalidad
Usando este orden
a) Si 𝑧 ≠ 0, entonces 𝑧 > 0 o −𝑧 > 0, pero no ambos, y
Suponiendo que el orden existe, entonces debe de cumplir las condiciones anteriores, observando la
proposición a) se tiene que multiplicando por -1 se obtiene:
−𝑧 > 0 → 𝑧 < 0
Ahora se tienen dos desigualdades
𝑧 >0𝑦𝑧 < 0
Usando la propiedad de transitividad, se obtiene
𝑧<0<𝑧
Lo cual claramente no se cumple debido a que ningún número se precede a sí mismo, propiedad 1,
por lo tanto, puede establecerse algún orden en el cual 𝑧 > 0 o −𝑧 > 0, pero no ambos
b) Si 𝑥, 𝑦 > 0, entonces 𝑥 + 𝑦 > 0 y 𝑥𝑦 > 0
Supongamos 𝑖 > 0
Sea 𝑥 = 𝑖, 𝑦 = 𝑖, entonces 𝑥, 𝑦 > 0
Para la suma 𝑥 + 𝑦 = 2𝑖 > 0 → 𝑖 > 0 se cumple
Para el producto 𝑥𝑦 = 𝑖 2 = −1 > 0 no se cumple
Por lo tanto, este orden no se acopla con el orden de los números reales y la afirmación es falsa. Se
puede encontrar alguno que cumpla el inciso a) pero no uno que cumpla ambos incisos.
2.- Determina si la siguiente proposición es falsa o verdadera y demuestra tu afirmación: si 𝑧, 𝑤 ∈ ℂ
con 𝑧 ≠ 𝑤, entonces
𝑤+𝑧 |𝑤 |2 + | 𝑧 |2
Re ( )=
𝑤−𝑧 |𝑤 − 𝑧 |2
La afirmación es falsa
Se parte del hecho de que:
Jesús Abraham Rojas Úrzulo Licenciatura en Matemáticas
Matricula: ES1821013126 Variable Compleja (MVCO1)

𝑧0 + 𝑧̅0 = (𝑥0 + 𝑖𝑦0 ) + ̅̅̅̅̅̅̅̅̅̅̅̅̅

(𝑥0 + 𝑖𝑦0 ) = (𝑥0 + 𝑖𝑦0 ) + (𝑥0 − 𝑖𝑦0 ) = 2𝑥0 = 2Re(𝑧0 )
Por lo tanto
1
Re(𝑧0 ) = (𝑧 + 𝑧̅0 )
2 0
De esta manera

𝑤+𝑧 1 𝑤+𝑧 ̅̅̅̅̅̅̅̅̅̅̅

𝑤+𝑧 1 𝑤+𝑧 ̅̅̅̅̅̅̅̅
𝑤+𝑧
Re ( ) = (( )+( )) = (( )+( ))
𝑤−𝑧 2 𝑤−𝑧 𝑤−𝑧 2 𝑤−𝑧 ̅̅̅̅̅̅̅̅
𝑤−𝑧
1 (𝑤 + 𝑧)((̅̅̅̅̅̅̅̅̅̅
𝑤 − 𝑧)) + (𝑤 − 𝑧)((̅̅̅̅̅̅̅̅̅̅
𝑤 + 𝑧 ))
= ( )
2 (𝑤 − 𝑧)(̅̅̅̅̅̅̅̅̅̅
𝑤 − 𝑧)

1 (𝑤 + 𝑧)((̅̅̅̅̅̅̅̅̅̅
𝑤 − 𝑧)) + (𝑤 − 𝑧)((̅̅̅̅̅̅̅̅̅̅
𝑤 + 𝑧 )) 1 (𝑤 + 𝑧)(𝑤
̅ − 𝑧̅) + (𝑤 − 𝑧)(𝑤
̅ + 𝑧̅)
( ) = ( )
2 (𝑤 − 𝑧)(̅̅̅̅̅̅̅̅̅̅
𝑤 − 𝑧) 2 |𝑤 − 𝑧 | 2

1 𝑤𝑤̅ − 𝑤𝑧̅ + 𝑤
̅𝑧 − 𝑧𝑧̅ + 𝑤𝑤̅ + 𝑤𝑧̅ − 𝑤
̅𝑧 − 𝑧𝑧̅ |𝑤 |2 − |𝑧 |2
( )=
2 |𝑤 − 𝑧 | 2 |𝑤 − 𝑧 |2
Por lo tanto, la proposición dada es falsa, ya que
𝑤+𝑧 |𝑤 |2 − | 𝑧 |2
Re ( )=
𝑤−𝑧 |𝑤 − 𝑧 |2
Se pone un contra ejemplo
Si 𝑤 = 1, 𝑧 = 𝑖
𝑤 + 𝑧 1 + 𝑖 1 + 𝑖 1 + 𝑖 + 𝑖 + 𝑖 2 2𝑖
= ∗ = = =𝑖
𝑤−𝑧 1−𝑖 1+𝑖 1+1 2
𝑤+𝑧
Por lo tanto, Re (𝑤−𝑧) = 0

Usando la fórmula propuesta

𝑤+𝑧 |𝑤 |2 + |𝑧 |2 1 + 1
Re ( )= = =1≠0
𝑤−𝑧 |𝑤 − 𝑧 |2 2
Lo cual no se cumple, comprobando que la proposición es falsa.
Usando la fórmula encontrada
𝑤+𝑧 |𝑤 |2 − |𝑧 |2 1 − 1
Re ( )= = =0
𝑤−𝑧 | 𝑤 − 𝑧 |2 2
Por lo tanto, se cumple.

3.- Determina si la siguiente proposición es falsa o verdadera y demuestra tu afirmación: para n > 60
la expresión
Jesús Abraham Rojas Úrzulo Licenciatura en Matemáticas
Matricula: ES1821013126 Variable Compleja (MVCO1)
𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖)

es un número puramente imaginaria. Nota: en tu argumento para afirmar o refutar no tienes permitido
utilizar la expansión binomial.
Se plantea la proposición
𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖) = 𝑘𝑖

Donde 𝑘 ∈ ℝ, por lo tanto, 𝑖𝑘 es un número imaginario puro

Se toma el conjugado de ambas partes de la igualdad
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑛 𝑛 ̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑛 ̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑛 𝑛 𝑛 𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖) = (√3 + 𝑖) + (√3 − 𝑖) = (√3 ̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅̅̅
+ 𝑖) + (√3 ̅
− 𝑖) = (√3 − 𝑖) + (√3 + 𝑖) = 𝑘𝑖
= −𝑘𝑖
𝑛 𝑛
(√3 − 𝑖) + (√3 + 𝑖) = −𝑘𝑖

Si se suman ambas ecuaciones

𝑛 𝑛 𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖) + (√3 − 𝑖) + (√3 + 𝑖) = 𝑘𝑖 − 𝑘𝑖 = 0
𝑛 𝑛
2 ((√3 + 𝑖) + (√3 − 𝑖) ) = 0
𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖) = 0
𝑛 𝑛
Pero se había establecido que (√3 + 𝑖) + (√3 − 𝑖) = 𝑘𝑖, por lo tanto, por reducción al absurdo se
demuestra que la afirmación es falsa.
Sea z un numero complejo, y realizando el mismo procedimiento
𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖) = 𝑧
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑛 𝑛 𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖) = 𝑧̅ → (√3 − 𝑖) + (√3 + 𝑖) = 𝑧̅
𝑛 𝑛
Por lo tanto, la suma de (√3 + 𝑖) + (√3 − 𝑖) da como resultado un número el cual es igual a su
conjugado, esto lo cumplen los números puramente reales, sin importar el orden de n.
para n >= 0 la expresión
𝑛 𝑛
(√3 + 𝑖) + (√3 − 𝑖)

es un número puramente real.

4.- Demuestra que para todo número complejo z se satisface las siguientes desigualdades:

|𝑧| ≤ |Re(𝑧)| + |Im(𝑧)| ≤ √2|𝑧|

Y da ejemplos donde se den las igualdades
Jesús Abraham Rojas Úrzulo Licenciatura en Matemáticas
Matricula: ES1821013126 Variable Compleja (MVCO1)

Sea un número complejo cualquiera

𝑧 = 𝑥 + 𝑖𝑦 = Re(𝑧) + 𝑖Im(𝑧)
Este puede ser escrito como

𝑧 = (𝑥 + 𝑖0) + (0 + 𝑖𝑦) = (Re(𝑧) + 𝑖0) + (0 + 𝑖Im(𝑧)) = 𝑧1 + 𝑧2

𝑧1 = Re(𝑧); 𝑧2 = 𝑖Im(𝑧)
Según la propiedad del triángulo
|𝑧1 + 𝑧2 | ≤ |𝑧1 | + |𝑧2 |
|𝑧1 + 𝑧2 | = |𝑧| ≤ |𝑧1 | + |𝑧2 | = |Re(𝑧)| + |𝑖Im(𝑧)| = |Re(𝑧)| + |Im(𝑧)|
|𝑧| ≤ |Re(𝑧)| + |Im(𝑧)|
Demostrando el primer parte de la desigualdad

Para la segunda parte de la desigualdad se puede maximizar la función

𝑓(𝜃) = |Re(𝑧)| + |Im(𝑧)| = |𝑟 cos 𝜃 | + |𝑟 sin 𝜃 | = 𝑟 |cos 𝜃| + 𝑟 |sin 𝜃 |
Por lo tanto, se necesita encontrar los puntos críticos
𝑑𝑓 (𝜃) 𝑑 𝑑
=𝑟 |cos 𝜃 | + 𝑟 |sin 𝜃| = 0
𝑑𝜃 𝑑𝜃 𝑑𝜃
Debido a que al elevar al cuadrado y después raíz cuadrada se elimina el signo
𝑑 𝑑 1 1 1 sin 𝜃 cos 𝜃 sin 𝜃 cos 𝜃
|cos 𝜃| = ((cos 𝜃 )2 )2 = ((cos 𝜃 )2 )−2 (2 cos 𝜃 )(− sin 𝜃) = − 1 =− |
𝑑𝜃 𝑑𝜃 2 ((cos 𝜃)2 )2 cos 𝜃 |

𝑑 𝑑 1 1 1 sin 𝜃 cos 𝜃 sin 𝜃 cos 𝜃

|sin 𝜃 | = ((sin 𝜃)2 )2 = ((sin 𝜃 )2 )−2 (2 sin 𝜃 )(cos 𝜃) = 1 =
𝑑𝜃 𝑑𝜃 2 |sin 𝜃|
((sin 𝜃 )2 )2
Por lo tanto
𝑑𝑓(𝜃) sin 𝜃 cos 𝜃 sin 𝜃 cos 𝜃 sin 𝜃 cos 𝜃 sin 𝜃 cos 𝜃
= −𝑟 +𝑟 =0→ =
𝑑𝜃 |cos 𝜃 | |sin 𝜃 | |sin 𝜃 | |cos 𝜃 |
|sin 𝜃| = |cos 𝜃 |

Tomando el ángulo −𝜋 ≤ 𝜃𝑃𝐶 = arg 𝑧 < 𝜋

𝜋 3𝜋 3𝜋 𝜋
𝜃𝑃𝐶 ∈ { , , − , − }
4 4 4 4
Si se usa el criterio de la primera derivada en las cercanías de los puntos críticos hay un cambio de
pendiente positiva a negativa, por lo tanto, se trata de máximos locales.
Jesús Abraham Rojas Úrzulo Licenciatura en Matemáticas
Matricula: ES1821013126 Variable Compleja (MVCO1)

Por lo tanto, los puntos críticos se dan cuando

1
|sin 𝜃| = |cos 𝜃| =
√2
De esta manera
1 1 2𝑟
max{|Re(𝑧)| + |Im(𝑧)|} = max{𝑟 |cos 𝜃 | + 𝑟 |sin 𝜃 |} = 𝑟 +𝑟 = = √2𝑟 = √2|𝑧|
√2 √2 √2
Demostrando la desigualdad

|Re(𝑧)| + |Im(𝑧)| ≤ max{|Re(𝑧)| + |Im(𝑧)|} = √2|𝑧|

Uniendo las dos demostraciones se obtiene

|𝑧| ≤ |Re(𝑧)| + |Im(𝑧)| ≤ √2|𝑧|

Ejemplos
Para comprobar la parte inferior del acotamiento, una de las dos componentes imaginaria o real
debe ser igual a cero
𝑧 = 6𝑖

|𝑧| = 6; |Re(𝑧)| + |Im(𝑧)| = 6; √2|𝑧| = √2(6)

|𝑧| ≤ |Re(𝑧)| + |Im(𝑧)| ≤ √2|𝑧|

6 = 6 < √26
Para comprobar el límite superior, la magnitud de las componentes real e imaginarias debe ser la
misma
𝑧 = −6 + 6𝑖

|𝑧| = 6√2; |Re(𝑧)| + |Im(𝑧)| = 6 + 6 = 12; √2|𝑧| = √2(6√2) = 6 ∗ 2 = 12

|𝑧| ≤ |Re(𝑧)| + |Im(𝑧)| ≤ √2|𝑧|

6√2 < 12 = 12
Para un valor cualquiera de z
𝑧 = 3 + 2𝑖
Jesús Abraham Rojas Úrzulo Licenciatura en Matemáticas
Matricula: ES1821013126 Variable Compleja (MVCO1)

|𝑧| = √13; |Re(𝑧)| + |Im(𝑧)| = 3 + 2 = 5; √2|𝑧| = √2(√13) = √26

|𝑧| ≤ |Re(𝑧)| + |Im(𝑧)| ≤ √2|𝑧|

3.60 ≈ √13 < 5 < √26 ≈ 5.09

Bibliografía
Churchill, R. V. (1960). Complex Variables and Applications . Tokio, Japan: Mc Graw-Hill Kogakusha,
LTD.
Notas: Variable compleja I. (s.f.). Universidad Abierta y a Distancia de México.
Polya, G. (1976). Variable Compleja . México D.F.: Limusa.
Russell, B. (16 de Abril de 2021). Introduction to Mathematical Philosophy. Obtenido de Introduction
to Mathematical Philosophy: http://people.umass.edu/klement/imp/imp.pdf