a) 让(xn,yn)n∈Z是R2的点的族,这样对于所有n∈Z我们有xn<xn+1并且
xn+1−xnyn+1−yn<xn+2−xn+1yn+2−yn+1. 证明,对于所有整数
n∈Z,m>0,p>0,我们有
xn+m−xnyn+m−yn<xn+m+p−xnyn+m+p−yn.
b) 如果 a>0 和 x=0,则将
fa(x)=xax−1. 证明,如果
x<y,x=0,y=0和
a=1,我们有
fa(x)<fa(y)[首先证明
x,y积分的关系,通过
a],然后证明
x,y有理数,最后证明一般]。
c) 推出,对于所有a>0,为x=0定义的函数fa(x),右侧有极限,左侧有极限,即x→0;表明这两个极限有公共的值φ(a),并且如果a=1则有φ(a)=0。证明如果为 x=1 定义的 a=1、函数 logax/x−1,则倾向于极限 1/φ(a) 为 x→1。
d) 证明,对于所有 a>0 和 b>0,我们有 φ(b)=φ(a)logab(如果 a=1)。推断在 2 和 4 之间存在数 e,使得 φ(e)=1,并且对于所有 a>0 存在 φ(a)=logea。