文章详细证明了对数的一些基本性质，如0和1不能作为底数时对数无意义，对数的加法性质，乘法性质，负指数性质，商的对数性质，幂的对数性质以及对数1的值为0。每个性质都通过逻辑推理和等式变换进行了严格的数学验证。
性质000 000和111不能作为底数。
证明 若000或111作为底数，则对数无意义。
性质111 logx(yz)=logxy+logxz\log_x{(yz)}=\log_x{y}+\log_x{z}logx(yz)=logxy+logxz。
证明 设logx(yz)=r,logxy=s,logxz=t\log_x{(yz)}=r,\log_x{y}=s,\log_x{z}=tlogx(yz)=r,logxy=s,logxz=t，那么有xr=yz,xs=y,xt=zx^r=yz,x^s=y,x^t=zxr=yz,xs=y,xt=z，所以(yz=xs+t=xr)(yz=x^{s+t}=x^r)(yz=xs+t=xr)，所以s+t=rs+t=rs+t=r。
性质222 logxy=−logxy−1\log_x{y}=-\log_x{y^{-1}}logxy=−logxy−1。
证明 设logxy=a,logxy−1=b\log_x{y}=a,\log_x{y^{-1}}=blogxy=a,logxy−1=b，于是就有xa=y,xb=y−1x^a=y,x^b=y^{-1}xa=y,xb=y−1。两边同时相乘，得到xa+b=y1−1=1x^{a+b}=y^{1-1}=1xa+b=y1−1=1，所以a+b=0a+b=0a+b=0，所以a=−ba=-ba=−b。
性质333 logxyz=logxy−logxz\log_x{\frac{y}{z}}=\log_x{y}-\log_x{z}logxzy=logxy−logxz。
证明 logxyz=logxyz−1=logxy+logxz−1=logxy−logxz\log_x{\frac{y}{z}}=\log_x{yz^{-1}}=\log_x{y}+\log_x{z^{-1}}=\log_x{y}-\log_x{z}logxzy=logxyz−1=logxy+logxz−1=logxy−logxz。
性质444 logxylogxz=logzy\cfrac{\log_x{y}}{\log_x{z}}=\log_z{y}logxzlogxy=logzy。
证明 设logxy=r,logxz=s,logzy=t\log_x{y}=r,\log_x{z}=s,log_z{y}=tlogxy=r,logxz=s,logzy=t。于是就有xr=y,xs=z,zt=yx^r=y,x^s=z,z^t=yxr=y,xs=z,zt=y，所以y=zt=(xs)t=xst=xry=z^t=(x^s)^t=x^{st}=x^ry=zt=(xs)t=xst=xr，所以st=rst=rst=r，所以rs=t\cfrac{r}{s}=tsr=t。
性质555 logx1=0\log_x{1}=0logx1=0。
证明 对于x≠0x\ne 0x=0都有x0=1x^0=1x0=1。
性质666 logxyz=zlogxy\log_x{y^z}=z\log_x{y}logxyz=zlogxy。
证明 设logxyz=r,logxy=s\log_x{y^z}=r,\log_x{y}=slogxyz=r,logxy=s，则xr=yz,xs=yx^r=y^z,x^s=yxr=yz,xs=y，所以xr=yz=(xs)z=xszx^r=y^z=(x^s)^z=x^{sz}xr=yz=(xs)z=xsz，所以r=zsr=zsr=zs。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
