Bukti sifat – sifat diferensial

Jika f (z) dan g(z ) terdiferensial pada himpunan A ⊆ C dan k ∈C adalah konstanta, maka

demikian pula hanya dengan ( f + g )( z ) , ( kf ) ( z ) , ( fg ) ( z ) , dan(f ∘ g)( z), yang dapat ditentukan
dengan cara berikut :
1. ( f + g )' ( z )=f ' ( z ) + g' ( z )
Bukti :
Diketahui f (z) dan g( z ) terdiferensial pada himpunan A ⊆ C.
Sehingga,
( f + g ) ( z + △ z ) −( f + g )( z )
( f + g )' ( z )= lim
△ z →0 △z
f ( z ) + f ( △ z ) + g ( z ) + g ( △ z )−f ( z )−g ( z )
¿ lim
△ z →0 △z
f ( z ) + f ( △ z ) −f ( z ) +g ( z ) + g ( △ z )−g ( z )
¿ lim
△ z →0 △z
( f ( z + △ z ) −f ( z ) ) + ( g ( z+ △ z )−g ( z ) )
¿ lim
△ z →0 △z
( f ( z + △ z ) −f ( z ) ) ( g ( z + △ z )−g ( z ) )
¿ lim + lim
△ z →0 △z △z→0 △z
¿ f ' ( z )+ g ' ( z )
(terbukti)

2. ( kf )' ( z )=k f ' ( z )

Bukti :
Diketahui f (z) dan g(z ) terdiferensial pada himpunan A ⊆ C dan k ∈C adalah
konstanta.
Sehingga,
( kf ) ( z+ △ z )−( kf )( z )
( kf )' ( z )= lim
△ z →0 △z
( kf )( z ) + ( kf ) ( △ z )−( kf )( z )
¿ lim
△ z →0 △z
k ( f ( z ) + f ( △ z )−f ( z ) )
¿ lim
△ z →0 △z
f ( z ) + f ( △ z )−f ( z )
¿ k lim ( k konstanta )
△ z →0 △z
 f ( z + △ z ) −f ( z )
¿ k lim
△ z →0 △z
¿k f '(z)
(terbukti)

3. ( fg )' ( z ) =f ' ( z ) g ( z )+ f ( z ) g' ( z )

Bukti :
Diketahui f (z) dan g( z ) terdiferensial pada himpunan A ⊆ C.
Sehingga,
( fg ) ( z+ △ z )−( fg ) ( z )
( fg )' ( z ) = lim
△z→0 △z
( f ( z + △ z ) ⋅ g ( z+ △ z ) )−f ( z ) g ( z )
¿ lim
△ z →0 △z
( f ( z + △ z ) ⋅ g ( z+ △ z ) )+ (−f ( z + △ z ) g ( z ) + f ( z + △ z ) g ( z ) ) −f ( z ) g ( z )
¿ lim
△ z →0 △z
( f ( z + △ z ) ⋅ g ( z+ △ z )−f ( z + △ z ) g ( z ) ) + ( f ( z+ △ z ) g ( z )−f ( z ) g ( z ) )
¿ lim
△ z →0 △z
f z + △ z ) ⋅ g ( z + △ z )−f ( z+ △ z ) g ( z ) ) ( f ( z + △ z ) g ( z ) −f ( z ) g ( z ) )
¿ lim
△ z →0
(( ( △z
+
△z )
lim ( f ( z + △ z ) g ( z )−f ( z ) g ( z ) )
( f ( z + △ z ) ⋅ g ( z+ △ z )−f ( z + △ z ) g ( z ) ) △z→0
¿ lim +
△ z →0 △z △z
g ( z + △ z )−g ( z ) f ( z+ △ z )−f ( z )
¿ lim f ( z+ △ z )
△ z →0
( △z )
+ lim
△ z →0
( △z
g ( z) )
¿ lim f ( z+ △ z ) lim
△ z →0 △ z →0
( g ( z + △△zz) −g ( z ) )+ lim ( f ( z + △△zz)−f ( z ) ) lim g ( z )
△z→0 △ z→0

¿ f ( z ) g ' ( z )+ f ' ( z ) g ( z )
(Terbukti )

f ' f ' ( z ) g ( z )−f ( z ) g' ( z )

4. ()g
( z )=
( g ( z) )
2

Bukti :
Diketahui f (z) dan g(z ) terdiferensial pada himpunan A ⊆ C.
Sehingga,
f f
' ( g ) ( z+ △ z )−( ) ( z )
g
( fg ) ( z )= lim
△ z→0 △z
f ( z+ △ z ) f ( z )
−
g ( z + △ z ) g (z )
¿ lim
△ z →0 △z
f ( z+ △ z ) g ( z )−f ( z ) g ( z + △ z )
g ( z+ △ z ) g ( z )
¿ lim
△ z →0 △z
f ( z + △ z ) g ( z )−f ( z ) g ( z+ △ z )
¿ lim
△ z →0 △ z ( g ( z+ △ z ) g ( z ) )
f ( z + △ z ) g ( z )−f ( z ) g ( z )+ f ( z ) g ( z )−f ( z ) g ( z + △ z )
¿ lim
△ z →0 △ z ( g ( z+ △ z ) g ( z ) )
( f ( z + △ z ) g ( z ) −f ( z ) g ( z ) ) + ( f ( z ) g ( z )−f ( z ) g ( z+ △ z ) )
¿ lim
△ z →0 △ z ( g ( z + △ z ) g ( z ))

( f ( z + △ z ) g ( z )−f ( z ) g ( z )) + ( f ( z ) g ( z )−f ( z ) g ( z + △ z ) ) 1
¿ lim
△ z →0
( △z
∙
g ( z + △ z) g ( z) )
lim 1
( f ( z + △ z ) g ( z ) −f ( z ) g ( z ) ) + ( f ( z ) g ( z )−f ( z ) g ( z+ △ z ) ) △z→0
¿ lim ∙
△ z →0 △z g ( z+ △ z ) g ( z )
lim 1
f ( z + △ z ) g ( z )−f ( z ) g ( z ) f ( z ) g ( z )−f ( z ) g ( z + △ z ) △z→0
¿ lim + ∙
△ z →0 △z △z g ( z + △ z) g ( z)
lim f ( z ) g ( z )−f ( z ) g ( z+ △ z ) lim 1
(
¿ lim
△z→0
f ( z+ △ z ) g ( z )−f ( z ) g ( z ) △ z → 0
△z
+
△z
∙ △ z →0
g( z+△ z) g( z) )
lim −( f ( z ) g ( z+ △ z )−f ( z ) g ( z ) ) lim 1
(
¿ lim
△z→0
f ( z + △ z ) −f ( z )
( △z
g ( z )+ )
△z→0
△z
∙ △z→0
g ( z+ △ z ) g ( z ) )
lim f ( z ) g ( z+ △ z )−f ( z ) g ( z ) lim 1
(
¿ lim
△z→0
f ( z + △ z ) −f ( z )
( △z
g ( z )− )
△ z →0
△z
∙ △z→0
g ( z+ △ z ) g ( z ) )
lim 1
f ( z + △ z ) −f ( z ) g ( z + △ z ) −g ( z )
( (
¿ lim
△z→0 △z )
g ( z )− lim f ( z )
△ z→0 △z ( ∙ △z→0
))
g ( z + △ z ) g (z )
lim 1
f ( z + △ z ) −f ( z ) g ( z + △ z ) −g ( z )
( (
¿ lim
△z→0 △z )
∙ lim g ( z )− lim f ( z ) ∙ lim
△ z →0 △ z→0 △ z →0 △z ( ∙ △ z→0

g ( z + △ z) g ( z) ))
 1
¿ ( f ' ( z ) g ( z )−f ( z ) g' ( z ) ) ∙
g(z) g(z)
f ' ( z ) g ( z ) −f ( z ) g' ( z )
¿ 2
( g ( z ))
( Terbukti )

5. ( f ∘ g )' ( z )=f ' ( g ( z ) ) g ' ( z )

Bukti :
Diketahui f (z) dan g(z ) terdiferensial pada himpunan A ⊆ C.
Menurut definisi fungsi komposisi bahwa
( f ∘ g )( z )=f ( g ( z ))
Sehingga,
f ( g ( z + △ z ) ) −f ( g ( z ) )
( f ∘ g )' ( z )= lim
△ z→0 △z
f ( g ( z + △ z ) )−f ( g ( z )) g ( z+ △ z )−g ( z )
¿ lim ∙
△ z →0 △z g ( z+ △ z )−g ( z )
( f ( g ( z + △ z ) ) −f ( g ( z ) ) ) g ( z + △ z ) −g ( z )
¿ lim
△ z →0 △ z ( g ( z +△ z )−g ( z ) )
f ( g ( z + △ z ) )−f ( g ( z )) g ( z+ △ z )−g ( z )
¿ lim ∙
△ z →0 g ( z + △ z )−g ( z ) △z
lim g ( z+ △ z )−g ( z )
f ( g ( z + △ z ) )−f ( g ( z )) △ z → z
¿ lim ∙ 0

△ z →0 g ( z + △ z )−g ( z ) △z
lim g ( z+ △ z )−g ( z )
f ( g ( z + △ z ) )−f ( g ( z )) △ z → z
¿ lim ∙ 0

△ z →0 g ( z + △ z )−g ( z ) △z
¿ f ' ( g ( z ) ) g' ( z )