<定義−1>ay=x のとき,y を log(a,x) と書き、a を底、x を真数と言う。
<定理−1>alog(a,x)=x
<証明>定義−1 から,alog(a,x)=x
<定理−2>
1) log(a,1)=0
2) log(a,a)=1
<証明>1)を示す。
alog(a,1)=1=a0
∴ log(a,1)=0
2)を示す。
alog(a,a)=a=a1
∴ log(a,a)=1
<定理−3>
1) log(a,x)+log(a,y)=log(a,x×y)
2) log(a,x)−log(a,x)=log(a,x÷y)
<証明>1)を示す。
alog(a,x)+log(a,y)=alog(a,x)×alog(a,y)
=x×y
=alog(a,x×y)
∴ log(a,x)+log(a,y)=log(a,x×y)
2)を示す。
alog(a,x)−log(a,y)=alog(a,x)÷alog(a,y)
=x÷y
=alog(a,x÷y)
∴ log(a,x)−log(a,y)=log(a,x÷y)
<定理−4>xlog(a,y)=ylog(a,x)
<証明> xlog(a,y)={alog(a,x)}log(a,y)
={alog(a,y)}log(a,x)
=ylog(a,x)
∴ xlog(a,y)=ylog(a,x)
<系−1>log(a,x)×log(b,y)=log(a,y)×log(b,x)
<証明>定理−4 から、 xlog(a,y)=ylog(a,x)
log{b,xlog(a,y)}=log{b,ylog(a,x)}
log(a,y)log{b,x}=log(a,x)log{b,y}
∴ log(a,x)×log(b,y)=log(a,y)×log(b,x)
この定理は高等学校の教科書に無いから,試験に使わないように。
<定理−5>
1) log(a,b)×log(b,c)=log(a,c)
2) log(a,b)×log(b,c)×log(c,d)×・・・×log(y,z)=log(a,z)
<証明>1)を示す。
定理−4 の 系−1 から,
log(a,b)×log(b,c)=log(a,c)×log(b,b)
=log(a,c)×1
=log(a,c)
∴ log(a,b)×log(b,c)=log(a,c)
2)を示す。
定理−4 の 系−1 から,
log(a,b)×log(b,c)×log(c,d)×・・・×log(y,z)
=log(a,z)×log(b,b)×log(c,c)×・・・×log(y,y)
=log(a,z)×1×1×・・・×1
=log(a,z)
∴ log(a,b)×log(b,c)×・・・×log(y,z)=log(a,z)
ベクトルの AB+BC+CD+・・・+YZ=AZ と形が似ていますねぇ。
<系−1>
1) log(a,b)=1/log(b,a)
2) log(a,b)=log(c,b)/log(c,a)
<証明>1)を示す。
定理−5 から,
log(a,b)×log(b,a)=1
∴ log(a,b)=1/log(b,a)
2)を示す。
定理−5、1)から,
log(a,b)×log(b,c)=log(a,c)
log(a,b)×{1/log(c,b)}=1/log(c,a)
log(a,b)=log(c,b)/log(c,a)
<定理−6>log(am,xn)=(n/m)×log(a,x)
<証明> (am)log(am,xn)=xn
{alog(am,xn)}m=xn
alog(am,xn)=xn/m
={alog(a,x)}n/m
=a(n/m)×log(a,x)
∴ log(am,xn)=(n/m)×log(a,x)
<定理−7> 1<a のとき,次のことが成立する。
1) 1≦x ⇔ 0≦log(a,x)
2) x≦1 ⇔ log(a,x)≦0
<証明>1)を示す。
イ)1≦x ⇒ 0≦log(a,x) を示す。
a0=1≦x=alog(a,x)
∴ 0≦log(a,x)
ロ)0≦log(a,x) ⇒ 1≦x を示す。
1=a0≦alog(a,x)=x
∴ 1≦x
2)を示す。
イ) x≦1 ⇒ log(a,x)≦0 を示す。
alog(a,x)=x≦1=a0
∴ log(a,x)≦0
ロ) log(a,x)≦0 ⇒ x≦1 を示す。
x=alog(a,x)≦a0=1
∴ x≦1
<系−1> 1<a のとき,x1≦x2 ⇔ log(a,x1)≦log(a,x2)
<証明>イ)x1≦x2 ⇒ log(a,x1)≦log(a,x2) を示す。
条件から,x1≦x2
1≦x2÷x1
0≦log(a,x2÷x1)
0≦log(a,x2)−log(a,x1)
log(a,x1)≦log(a,x2)
ロ)log(a,x1)≦log(a,x2) ⇒ x1≦x2 を示す。
条件から,log(a,x1)≦log(a,x2)
log(a,x1)−log(a,x2)≦0
log(a,x1÷x2)≦log(a,1)
x1÷x2≦1
x1≦x2
<定理−8> 0<a<1 のとき,次のことが成立する。
1) 1≦x ⇔ log(a,x)≦0
2) x≦1 ⇔ 0≦log(a,x)
<証明> 省略
<系−1>0<a<1 のとき,x1≦x2 ⇔ log(a,x2)≦log(a,x1)
<証明> 省略
注意:この定理は出来るだけ使うのを避けるように。
「y=log(a,x) は y=ax の逆関数である」, 「 a を log(a,x) 乗したら
x になる」最初の一歩の違いは大変な違いで,証明の発想が違ってきます。公立高校
の教科書と比較しなさい。 木ッ端ぱ役人が作った学習指導要領なんか、とても見てい
られませんねぇ・・・!!!
|