对数坐标—002229
对数的概念
英语名词：logarithms
如果a^b=n，那么log(a)(n)=b。其中，a叫做“底数”，n叫做“真数”，b叫做“以a为底的n的对数”。
log(a)(n)函数叫做对数函数。对数函数中n的定义域是n>0，零和负数没有对数；a的定义域是a>0且a≠1。
对数的历史
约翰·纳皮尔/约翰·奈皮尔（John Napier，1550～1617），苏格兰数学家、神学家，对数的发明者。
Napier出身贵族，于1550年在苏格兰爱丁堡附近的小镇梅奇斯顿（Merchiston Castle,Edinburgh,Scotland）出生，是Merchiston城堡的第八代地主，未曾有过正式的职业。
年轻时正值欧洲掀起宗教革命，他行旅其间，颇有感触。苏格兰转向新教，他也成了写文章攻击旧教（天主教）的急先锋（主要文章于1593年写成）。其时传出天主教的西班牙要派无敌舰队来攻打，Napier就研究兵器（包括拏炮、装甲马车、潜水艇等）准备与其拚命。虽然Napier的兵器还没制成，英国已把无敌舰队击垮，他还是成了英雄人物。
他一生研究数学，以发明对数运算而著称。那时候天文学家Tycho Brahe（第谷，1546～1601）等人做了很多的观察，需要很多的计算，而且要算几个数的连乘，因此苦不堪言。1594年，他为了寻求一种球面三角计算的简便方法，运用了独特的方法构造出对数方法。这让他在数学史上被重重地记上一笔，然而完成此对数却整整花了他20年的工夫。1614年6月在爱丁堡出版的第一本对数专著《奇妙的对数表的描述》（"Mirifici logarithmorum canonis descriptio"）中阐明了对数原理，后人称为纳皮尔对数：Nap logX。1616年Briggs（亨利·布里格斯，1561 - 1630）去拜访纳皮尔，建议将对数改良一下以十为基底的对数表最为方便，这也就是后来常用的对数了。可惜纳皮尔隔年于1617年春天去世，后来就由Briggs以毕生精力继承纳皮尔的未竟事业，以10为底列出一个很详细的对数表。并且于1619年发表了《奇妙对数规则的结构》，于书中详细阐述了对数计算和造对表的方法。
纳皮尔对数字计算特别有研究，他的兴趣在于球面三角学的运算，而球面三角学乃因应天文学的活动而兴起的。他重新建立了用于解球面直角三角形的10个公式的巧妙记法——圆的部分法则（"纳皮尔圆部法则"）和解球面非直角三角形的两个公式——"纳皮尔比拟式"，以及做乘除法用的"纳皮尔算筹"。此外，他还发明了纳皮尔尺，这种尺子可以机械地进行数的乘除运算和求数的平方根。
[编辑本段]对数的性质及推导
定义：
若a^n=b(a>0且a≠1)
则n=log(a)(b)
基本性质：
1、a^(log(a)(b))=b
2、log(a)(a^b)=b
3、log(a)(MN)=log(a)(M)+log(a)(N);
4、log(a)(M÷N)=log(a)(M)-log(a)(N);
5、log(a)(M^n)=nlog(a)(M)
6、log(a^n)M=1/nlog(a)(M)
推导
1、因为n=log(a)(b)，代入则a^n=b，即a^(log(a)(b))=b。
2、因为a^b=a^b
令t=a^b
所以a^b=t，b=log(a)(t)=log(a)(a^b)
3、MN=M×N
由基本性质1(换掉M和N)
a^[log(a)(MN)] = a^[log(a)(M)]×a^[log(a)(N)]
由指数的性质
a^[log(a)(MN)] = a^{[log(a)(M)] + [log(a)(N)]}
又因为指数函数是单调函数，所以
log(a)(MN) = log(a)(M) + log(a)(N)
4、与（3）类似处理
MN=M÷N
由基本性质1(换掉M和N)
a^[log(a)(M÷N)] = a^[log(a)(M)]÷a^[log(a)(N)]
由指数的性质
a^[log(a)(M÷N)] = a^{[log(a)(M)] - [log(a)(N)]}
又因为指数函数是单调函数，所以
log(a)(M÷N) = log(a)(M) - log(a)(N)
5、与（3）类似处理
M^n=M^n
由基本性质1(换掉M)
a^[log(a)(M^n)] = {a^[log(a)(M)]}^n
由指数的性质
a^[log(a)(M^n)] = a^{[log(a)(M)]*n}
又因为指数函数是单调函数，所以
log(a)(M^n)=nlog(a)(M)
基本性质4推广
log(a^n)(b^m)=m/n*[log(a)(b)]
推导如下：
由换底公式（换底公式见下面）[lnx是log(e)(x)，e称作自然对数的底]
log(a^n)(b^m)=ln(b^m)÷ln(a^n)
换底公式的推导：
设e^x=b^m,e^y=a^n
则log(a^n)(b^m)=log(e^y)(e^x)=x/y
x=ln(b^m),y=ln(a^n)
得：log(a^n)(b^m)=ln(b^m)÷ln(a^n)
由基本性质4可得
log(a^n)(b^m) = [m×ln(b)]÷[n×ln(a)] = (m÷n)×{[ln(b)]÷[ln(a)]}
再由换底公式
log(a^n)(b^m)=m÷n×[log(a)(b)] --------------------------------------------（性质及推导 完）
[编辑本段]函数图象
1.对数函数的图象都过(1,0)点.
2.对于y=log(a)(n)函数,
①,当0