Teorema de la Derivada nula.

Sea 𝑓 analítica en una región 𝐺 y 𝑓 ′ 𝑧 = 0 en todo 𝑧.

Entonces 𝑓 es constante en 𝐺 . Se tiene la misma
conclusión si Re 𝑓, Im 𝑓, |𝑓| o arg 𝑓 es constante en 𝐺.

Demostración para 𝑓 .
Sabemos que 𝑓 = 𝑢 𝑥, 𝑦 + 𝑖𝑣(𝑥, 𝑦), y además

𝑓 = 𝑢2 + 𝑣 2 ⟹ 𝑓 2 = 𝑢2 + 𝑣 2

Tomemos 𝑤 = 𝑓 2 .
Si 𝑓 es constante, entonces 𝑤 también lo es.
 𝜕𝑤
𝑤 = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡𝑒 ⟹ =0
𝜕𝑥
⟹ 𝜕𝑢2 𝜕𝑣 2
+ =0
𝜕𝑥 𝜕𝑥
⟹ 2𝑢𝑢𝑥 + 2𝑣𝑣𝑥 = 0
⟹ 𝑢𝑢𝑥 + 𝑣𝑣𝑥 = 0 … (1)

De manera similar se tiene que

𝜕𝑤
= 𝑢𝑢𝑦 + 𝑣𝑣𝑦 = 0
𝜕𝑦

Recordando las ecuaciones de Cauchy, sabemos

𝑢𝑥 = 𝑣𝑦 , 𝑣𝑥 = −𝑢𝑦
Por lo que
𝑢𝑢𝑦 + 𝑣𝑣𝑦 = 𝑣𝑢𝑥 − 𝑢𝑣𝑥 = 0 … (2)

De la ecuación 1 tenemos:
𝑢𝑢𝑥 + 𝑣𝑣𝑥 = 0
𝑢𝑢𝑥 = −𝑣𝑣𝑥
−𝑣𝑣𝑥
𝑢𝑥 = … (3)
𝑢
Sustituimos (3) en (1)
−𝑣𝑣𝑥
𝑣 − 𝑢𝑣𝑥 = 0
𝑢
 𝑣 2 𝑣𝑥 𝑢2 𝑣𝑥 −𝑣 2 𝑣𝑥 − 𝑢2 𝑣𝑥
− − = =0
𝑢 𝑢 𝑢
−𝑣𝑥 𝑣 2 + 𝑢2 = 0

Entonces

𝑣𝑥 = 0 o bien 𝑣 2 + 𝑢2 = 0.

Si 𝑣𝑥 = 0 entonces 𝑢𝑥 = 0
𝑣𝑥 = 𝑢𝑥 = 0 ⟹ 𝑣𝑦 = 𝑢𝑦 = 0

Por lo que las derivadas se anulan y 𝑓 es constante.

Si 𝑢2 + 𝑣 2 = 0 y 𝑓 2 = 𝑢2 + 𝑣 2
⟹ |𝑓| = 0
y así 𝑓 es constantemente cero.