指数函数、对数函数图像交点问题
反函数是函数中一个重要的概念，它是从研究两个函数关系的角度产生的，函数的反函数，本身也是一个函数。在实际教学过程中，我们除了从定义的角度把反函数讲解清晰之外，譬如：从映射的角度可知,函数y=f(x)是定义域集合A到值域C的映射,它的反函数y=f-1（x）是集合C到集合A的映射，再结合函数的定义可知，只有一一映射的函数才存在反函数。我们还应该把握从抽象到直观，再从直观到抽象相结合的传授知识的基本原则，给学生的一个形象、直观的认识。正是基于这个原因，中学数学教材中引进了作为一种重要的函数和互为反函数的典型例子的指数函数、对数函数。
一、分析反函数的定义可知，原函数与反函数图像如果有交点，它们必然关于y=x对称；若原函数与直线y=x有交点，则反函数图像也必与y=x相交且交点重合。
为了验证上面的结论，我分别给了学生以下几个例子 （1）函数y(1,1)，且在y=x?2x?1与它的反函数y?12x?12图像只有一个交点
上。
1（2）函数
y?x3与它的反函数
y?x3的图像有三个交点
(?1,?1)、(0,0)、(1,1)，且都在y=x上。
（3）函数y?1x的反函数是它自身，故反比例函数与它的反函数
图像有无数个交点，其中有两个(?1,?1)、(1,1)在y=x上。引入此例是为了说明若原函数图像与反函数图像的交点不在y=x上则一定对称地、成对出现在y=x两侧，因为太特殊，解释起来有点牵强，所以我们引
1
进了第4个例子（是用一种引导的方式给出的）。
（4）若点(1,2)既在函数y?ax?b图像上，也在其反函数图像上，
求a，b的值。经过计算a??3,b?7，也就是说点(1,2)、(2,1)既在函数
y??3x?7图像上，也在其反函数图像上，验证了我们上述的观点。
在学生从代数的角度验证、认同了这个结论后，为了给学生一个直观的认识，我打算利用几何画板为学生演示一下，结果发现，在电脑屏幕上不能清晰地显示图像的交点（如左下图）；把方程中的7改成8之后，清晰地显示出了交点（图右下图）
3.5 -1332.52.5221.51.5110.50.512345-2-1123
-0.5-0.5-1-1至此，从数和直观的角度，学生对原函数与反函数图像的交点问题有了一个初步的认识。
二、指数函数与对数函数：指数函数与对数函数互为反函数，在研究对数函数性质时，我们完全可根据已经得到的指数函数的性质去研究：定义域、值域、单调性、奇偶性、周期性，以及自己独有的性质，这其中就包括它们图像的交点问题。
先讨论当a>1时，函数y像的交点。 （1） 函数y?3与y?logx3?a与y?logxax图
5432x的图像，如右图
-4-21246没有交点
2
-1-2（2） 函数
y?(2)x与
y?log2x的图像有
65两个交点(2,2),(4,4)，图像如右图 综合（1）、（2），学生认识到当a>1时
y?a与y?logxa4321x的图像并不是我们想象的那
-4-2246-1样，没有公共点，
由此学生自然联想到，y?ax与y?logax的图像有没有可能只
有一个公共点，经过思考回答是肯定的，关键是什么时候没有， 什么时候一个，什么时候两个，观察图像无法得出结论， 必须进行定量研究。从有一个公共点，即相切的位置入手，
?y?axx?a?x?0从代数角度看只需联立方程??y?x让方程只有一个
根即可，属于超越方程，无法用常规方法解，利用导数解法如下：
11??a?x?a?xx???xlnxx?1?lnx?1 ?x?x?1?a??alna?1x??1∴
x?e,得a?e,即a?eee，现考虑
alna?1?0xf(x)?a?xx的最小值，由
xf?(x)?alna?1知，当
a时，得唯一的零点，
x0?log1alna??loglna，使f?(?logalna)=0
当
axx??logalna时，由a>1时指数函数的单调性，有
?1lnax,f?(x)?alna?1?0，所以f(x)单调递减
当
axx??logalna时，由a>1时指数函数的单调性，有
，所以f(x)单调递增
a?1lnax,f?(x)?alna?1?0所以，当
x??loglna时，
f(x)?a?ax取得最小值
3
f(?logalna)?1?lnlnalna又因为lna?0(a?1),所以只需判断1?lnlna的正
负，就可判断f(x)最小值的正负
111? 当a?ee时，lna?lnee?1e?lnlna?ln1e??1?1?lnlna?0
?f(?logalna)?1?lnlnalna?0,得a?x?x1?lnlnalnaa?0,有a?xx，即函数
y?ax的图像始终在y=x的上方，yx?logxx得图像始终在y=x的下方，
?log1ea所以方程a2??log1ax无解，即函数y?a1与yx的图像无交点
当aa?ee时，lna?lnee?1e?lnlna?ln??1?1?lnlna?0?f(?loglna)?1?lnlnalna?0
由
1?讨论
f(x)?a?xxx的单调性可知，除
1x??logalna外，f(x)?a?x?0y?a(y?logxa得
aa?x,即a?eex时，函数
x)的图像在x??logxlna时与y=x相切，其余部分均在y=x上（下）方，所以方程a1?logax有唯一解
3 当1?a?ee时，有1?lnlna?0??1f(?logalna)?1?lnlnalna?0，又
由1?a?ee，有0?lna?取
lim1e?logalna?0??logalna?0，
得
x1?0ax，有
(a)?(x)?xf(x1)=a0-0=1>0，由L'HOSPITAL RULE
alna1xx???x???x?limx????lim，又∵a>1, ∴lxim???x2alna1x???，所以存在
x2??logalna，使得f(x2)?a?x2?0，由函数的单调性和连续性可知，
lna,??)必存在m?(??,?logalna)性可知，解唯一
n?(?loga，使得am?m,an?n，由单调
4
∴函数y?ax与y=x的图像在(??,?logalna)和(?logalna,??)上各
y?ax有一个交点，即函数
(?loga与
y?logax的图像在(??,?logalna)和
lna,??)上各有一个交点，共两个交点
1.8第二种情况：当0
1?（1）函数y????与y?log?3?xx131.61.41.21x的图像
-1-0.50.80.60.40.21? （2）函数y????与y?log?16?0.511.52116x
-0.2-0.4-0.61.611??11? 容易验证，点??,?,?,?既在
?24??42?1.41.210.8?1?y????16?x的图像上，又在y?logx116x的图像上 -1-0.50.60.40.20.511.521? ∵y?????16?-0.2与y=x有一交点（可根据函数
-0.4的单调性和连续性）， ∴点
从代数角度可以验证，但图像非常不清
1?楚，改动数据为y????与y?log?66?x1660.60.41.81.6?1?y???与y?log16??x116x的图像还有另一交点在y=x上，共有三个交
1.41.2x
10.8如右图清晰的显示了图像的交点
-1-0.50.20.511.52 由函数的单调性和连续性，我们可以得出，当0
所以它们的交点情况共有以下几种：一个、或三个。
至此，我们就把互为反函数图像的交点问题、指数函数与对数函
5