好像不容易证明,缺少x是无理数时1.7^x的定义,所以好像只能用求导来解决
y=1.7^x
lny=xln1.7
d(lny)/dx=dy/(ydx)=ln1.7
dy/dx=ln1.7*y=1.7^x*ln1.7
恒正
故单调增