求证:当 a>e1e 时,函数 f(x)=ax 和函数 g(x)=logax 的图象存在公切线.
解析 设函数 f(x)=ax 和函数 g(x)=logax 的图象存在公切线,分别与函数 f(x)=ax 和函数 g(x)=logax 的图象切于点 (x1,f(x1)) 和 (x2,g(x2)),则{f′(x1)=g′(x2),−x1f′(x1)+f(x1)=−x2g′(x2)+g(x2),
即{ax1lna=1x2lna,−x1ax1lna+ax1=−1lna+lnx2lna,
也即{x1=−lnx2+2lnlnalna,lnx2+2lnlnax2ln2a+1x2ln2a=−1lna+lnx2lna,
第二个方程即x2lnx2lna−x2lna−lnx2−2lnlna−1=0,
设 h(x)=mxlnx−mx−lnx−2lnm−1,其中 m=lna(m>1e),则其导函数h′(x)=mlnx−1x,
该函数单调递增,于是有唯一零点 x=t,且函数 h(x) 的极大值,也为最大值T=h(t)=mtlnt−mt−lnt−2lnm−1,
其中 mlnt−1t=0,从而 m=1tlnt(1<t<e),进而T=−1lnt+lnt+2lnlnt,
由于 0<lnt<1,根据对数的进阶放缩,有lnlnt>12(lnt−1lnt)⟹T>0,
从而当 a>e1e 时,方程 h(x)=0 有解,也即函数 f(x)=ax 和函数 g(x)=logax 的图象存在公切线.