Nama : Holden Tambun

NIM

: 137785152

IMO tahun 1966 No.4

Buktikan bahwa untuk setiap bilangan asli n, dan untuk setiap bilangan real x
1
sin 2 x

,n, ; k sebarang bilangan bulat)

1
sin 4 x

1
sin 2 n x

++

(t = 0, 1, 2,

cot 2 n x

cot x
=

k
2t

Penyelesaian.
Cara 1 : Menggunakan induksi matematika
n

Dik :
x

, x

k
2t

1
sin 2 x

Dit : Buktikan

(t = 0, 1, 2,,n, ; k sebarang bilangan bulat)

1
sin 4 x

1
sin 2 n x

++

cot 2 n x

cot x
=

untuk n = 1 akan dibuktikan bahwa

1
sin 2 x

cot x cot 2 x

=
2 cos 2 x cos 2 x
sin 2 x

1
sin 2 x

=
2 cos 2 x
sin 2 x
=

cos 2 x
sin 2 x

2 cos x
2 sin x cos x
2

cot 2 x

cos 2x = 2 cos2x - 1
1 = 2 cos2x - cos 2x
sin 2x = 2 sin x cos x

cos x
sin x

cot 2 x

cot x

cot 2 x

Misalkan benar untuk n = k, maka akan dibuktikan untuk n= k+1

Untuk n = k berlaku
1
sin 2 x

1
sin 4 x

1
sin 2 k x

++

cot 2 k x

cot x
=

untuk n = k+1 akan dibuktikan bahwa

1
sin 2 x

1
sin 4 x

+
1
sin 2 x

1
sin 2 k x

++
1
sin 4 x

1
sin 2 k 1 x

+
1
sin 2 k x

++

=
1
sin 2 k 1 x

cot 2 x
-

+
2 cos 2 2 k x cos 2 k 1 x
sin 2 k 1 x

cot 2 k x

cot x
-

cos 2 k 1 x
sin 2 k 1 x

2 cos 2 2 k x
sin 2 k 1 x

cot 2 k x

cot x

1
sin 2 k 1 x

cot x
=

cot 2 k 1 x

cot x

2 cos 2 2 k x
cot x cot 2 k x 2 sin 2 k x cos 2 k x cot 2 k 1 x
=
+
cos 2 k x
cot x cot 2 k x sin 2 k x cot 2 k 1 x
=
+
-

cot 2 k x

cot x
=

cot 2 k 1 x

cot x
=

cot 2 k 1 x

cot 2 k x

QED

Cara 2 : dengan deret teleskopik

2 cos 2 x cos 2 x
sin 2 x

1
sin 2 x

=
2 cos 2 x
sin 2 x
=

cos 2 x
sin 2 x

2 cos x
2 sin x cos x
2

cos x
sin x

cot 2 x

cot x

cot 2 x

cot 2 x

2 cos 2 2 x cos 4 x
sin 4 x

1
sin 4 x

=
2 cos 2 2 x
sin 4 x
=

cos 4 x
sin 4 x

cos 2x = 2 cos2x - 1
1 = 2 cos2x - cos 2x
1 = 2 cos2 2n-1x - cos 2nx
sin 2x = 2 sin x cos x
sin 2nx = 2 sin 2n-1x cos 2n-1x

2 cos 2 2 x
2 sin 2 x cos 2 x

cot 4 x

cos 2 x
sin 2 x

cot 4 x

cot 2 x

cot 4 x

.
.
.
2 cos 2 2 n 1 x cos 2 n x
sin 2 n x

1
sin 2 n x

=
2 cos 2 2 n 1 x
sin 2 n x
=

cos 2 n x
sin 2 n x
n 1

2 cos 2 x
2 sin 2 n 1 x cos 2 n 1 x
=

cot 2 n x
-

n 1

cos 2 x
sin 2 n 1 x
=

cot 2 n x
-

cot 2 n 1 x
=

cot 2 n x
-

sehingga diperoleh
1
sin 2 x

1
sin 4 x

cot 2

n 1

1
sin 2 n x

++

cot x
=

cot 2 x

cot 2 x

cot 2 n 1 x
cot 4 x cot 4 x
+
+...+

x cot 2 x
cot x cot 2 n x
=
-

QED