前言
抽象函数的性质往往不太好想,所以举个例子,加以验证。作为学生,不需要知道那么严谨的逻辑证明,只要会用结论就行了。
图像说明
- 轴对称函数所举的例子:(f(x)=cfrac{1}{4}(x-2)^2);具体函数(Rightarrow)抽象函数;
【结论】若函数(f(x))满足条件(f(x)=f(4-x)),
则函数是轴对称图形,其对称轴是(x=cfrac{(x)+(4-x)}{2})(=2);
- 中心对称函数所举的例子:(g(x)=(x-1)^3);具体函数(Rightarrow)抽象函数;
【结论】若函数(g(x))满足条件(g(x)+g(2-x)=0),
则函数是中心对称图形,其对称中心是((x_0,y_0)),
具体坐标算法为(x_0=cfrac{(x)+(2-x)}{2}=1),(y_0=cfrac{y_1+y_2}{2})(=cfrac{g(x)+g(2-x)}{2})(=cfrac{0}{2}=0);
逻辑证明
- 函数(f(x))的对称轴为直线(x=2)的充要条件是函数(f(x))满足(f(x)=f(4-x))。
充分性:函数(f(x))满足(f(x)=f(4-x)),取其上任意一点((x_0,y_0)),
则有(y_0=f(x_0)),则有(f(x_0)=f(4-x_0)=y_0),
说明点((x_0,y_0))和点((4-x_0,y_0))都在函数图像上,
而这两个点关于直线(x=cfrac{x_0+(4-x_0)}{2}=2)对称,
又由于点的任意性可知,函数关于直线(x=2)对称;
必要性:函数(f(x))的对称轴为直线(x=2),
取其上任意一点((x_0,y_0)),则有(y_0=f(x_0)),
而点((x_0,y_0))关于直线(x=2)的对称点是((4-x_0,y_0)),
故有(y_0=f(x_0)=f(4-x_0)),即(f(x_0)=f(4-x_0)),
又由于点的任意性可知,函数必然满足(f(x)=f(4-x))。[证毕]
使用方法:
若函数(f(x))满足(f(x)=f(2-x)),
则是关于直线(x=cfrac{x+(2-x)}{2}=1) 对称的;
自然若函数(f(x))满足(f(1-x)=f(1+x)),
则也是关于直线(x=cfrac{(1-x)+(1+x)}{2}=1) 对称的;
其实表达式(f(x)=f(2-x))和(f(1-x)=f(1+x))刻画的是同一回事,
用(1-x)替换(f(x)=f(2-x))中的(x),就能得到(f(1-x)=f(1+x))。
用此理论,我们还可以主动刻画函数的对称性,
其一用图像刻画,其二用数学语言表达为(f(0.5-x)=f(1.5+x));
- 函数(f(x))的对称中心是((1,1))的充要条件是函数(f(x))满足(f(x)+f(2-x)=2)。
充分性:函数(f(x))满足(f(x)+f(2-x)=2),取其上任意一点((x_0,y_0)),
则必有(y_0=f(x_0)),
又由于点((x_0,y_0))关于点((1,1))的对称点为((2-x_0,2-y_0)),
(f(x_0)+f(2-x_0)=2),得到(y_0+f(2-x_0)=2),
即(2-y_0=f(2-x_0)),说明点((2-x_0,2-y_0))也在函数图像上,
又由于点的任意性可知,函数图像上任意点关于点((1,1))的对称点也在函数图像上;
必要性:函数(f(x))的对称中心为点((1,1)),
取其上任意一点((x_0,y_0)),其在图像上,则有(y_0=f(x_0)),
而其对称点((2-x_0,2-y_0))也在图像上,故有(2-y_0=f(2-x_0)),
即(2-f(x_0)=f(2-x_0)),即(f(x_0)+f(2-x_0)=2);
又由于点的任意性可知,函数图像上任意点都满足(f(x)+f(2-x)=2);[证毕]
使用方法:
若函数(f(x))满足(f(x)+f(2-x)=4),则其关于点成中心对称,
对称中心的坐标((x_0,y_0))这样求解,
(x_0=cfrac{x+(2-x)}{2}=1),(y_0=cfrac{f(x)+(2-x)}{2}=2),
即对称中心为((1,2));
自然若函数(f(x))满足(f(-x)+f(2+x)=2),则也是关于点((1,1))对称的,
同理我们也可以这样刻画一个函数关于点((1,1))对称。
我们就说函数满足条件(f(0.5-x)+f(1.5+x)=2)或者(f(3-x)+f(-1+x)=2);
典例剖析
所举的函数例子虽说不是抽象函数,但对称性的验证同样适用。
分析:由于函数(f(x))是复合函数,定义域要使(x>0,2-x>0),即定义域是((0,2)),
又(f(x)=ln[x(2-x)]=ln[-(x-1)^2+1]),则由复合函数的单调性法则可知,
在((0,1))上单增,在((1,2))上单减,故排除(A),(B);
若函数(y=f(x))关于点((1,0))对称,则函数(f(x))必然满足关系:(f(x)+f(2-x)=0);
若函数(y=f(x))关于直线(x=1)对称,则函数(f(x))必然满足关系:(f(x)=f(2-x));
接下来我们用上述的结论来验证,由于(f(x)=lnx+ln(2-x)),
(f(2-x)=ln(2-x)+ln(2-(2-x))=ln(2-x)+lnx),即满足(f(x)=f(2-x)),故函数(y=f(x))的图像关于直线(x=1)对称,选(C);
再来验证(D),发现(f(x)+f(2-x)=2[lnx+ln(2-x)] eq 0),(D)选项不满足。故选(C)。
分析:令内函数(g(x)=4x-x^2>0),得到定义域((0,4)),又(g(x)=-(x-2)^2+4),故内函数在((0,2])单减,在([2,4))单增,外函数只有单调递增,故复合函数(f(x))在((0,2])单减,在([2,4))单增,故排除(A)、(B);
要验证(C)选项,只需要验证(f(x)=f(4-x))即可,这是(y=f(x))的图像关于直线(x=2)对称的充要条件;
而(f(4-x)=lg[4(4-x)-(4-x)^2]=lg(16-4x-16+8x-x^2)=lg(4x-x^2)=f(x)),故选(C)。
若要验证(D)选项,只需要利用(y=f(x))的图像关于点((2,0))对称的充要条件,即验证(f(x)+f(4-x)=0)即可。自行验证,不满足。
故本题目选(C).