关于几何画板分段函数的处理

几何画板中函数和分段函数定义域处理

郑 明 淮

(福建尤溪文公高级中学，365100)

几何画板是数学新课程推荐使用信息技术软件。它作出的几何图形、函数图象非常精确，运算功能也十分强大，更重要的是它拥有用动态方式揭示几何图形中的元素间关系保持不变的特点。这些特点对于学生认清问题的本质，弥补空间想像力不足，对相关问题进行验证、探索提供了易于操作的平台。正因为如此，几何画板相对于其他常用软件倍受数学教师的青睐。

当然，任何一款软件都不可能做到十全十美，几何画板也是如此。虽然它的版本已经升级到5.0，我们在使用过程中仍然发现有许多方面不尽如人意。例如：新建一个函数后，利用绘制函数图象功能画出来的是其完整定义域上的图象。而在高中数学中很多函数是限定定义域的，而几何画板不具备直接限定定义域的作图像功能，我们只能另想方法以达到这一目的。这一问题以及分段函数是高中数学中的重点内容，在使用

几何画板辅助教学中必需突破这一瓶

颈。本文就此两个问题在几何画板环境

下做一个探索，希望能有效地、可操作

地解决这一问题。

一、几何画板中限定定义域函数的图像

处理方案

例1、作函数822--=x x y

(53≤≤-x )的图像

分析：822--=x x y 的定义域是R ，要

去掉 53≤≤-x 之外的图像只能改变原函数的表达式，使其对应关系与原函数

相同，但定义域为53≤≤-x 。构造如下：

)5)(3(082)(2x x x x x f -+⋅+--=然后绘制函数f(x) 效果如图。

函数f(x) 中的)5)(3(0x x -+⋅把函数定义域限定在53≤≤-x ，并且在定义域范围内其值恒为0，因此不改变原函数的值。

一般地，限定函数定义域的构造有以下八种情况：

1、限定函数f(x)定义域为[a ，b]构造函数：))((0)(x b a x x f y --⋅+=

2、限定函数f(x)定义域为(a ，b]构造函数：a

x x b x f y --⋅+=0)( 3、限定函数f(x)定义域为[a ，b)构造函数：x

b a x x f y --⋅+=0)( 4、限定函数f(x)定义域为(a ，b)构造函数：)))(log((0)(x b a x x f y --⋅+=

5、限定函数f(x)定义域为(a ，+∞)构造函数：)log(0)(a x x f y -⋅+=

6、限定函数f(x)定义域为[a ，+∞)构造函数：a x x f y -⋅+=0)(

7、限定函数f(x)定义域为(-∞，b)构造函数：)log(0)(x b x f y -⋅+=

8、限定函数f(x)定义域为(-∞，b]构造函数：x b x f y -⋅+=0)(

二、几何画板中分段函数的图像处理

例2．作分段函数⎪⎩

⎪⎨⎧≥+-<≤--<+=)4........(63)42.....(..........

)2.........(83)(2x x x x x x x f 的图像。 在网络上或下载的课件中经常看到的两种作法：

方法1：分别构造函数

①)2log(083)(1x x x f --⋅++=

②x

x x x f -+⋅+=420)(22 ③4063)(3-⋅++-=x x x f

这里对三个函数的定义域分别作出了限制，然后分别绘制这三个函数的图象。这一方法虽然可以在屏幕上同时显示出了f(x)函数图像，但本质上它是三个不同函数的图像，只是在视觉上让学生感觉是分段函数的图像。若要对分段函数作进一步的研究，如：在f(x)定义域内任取x 的值计算其函数值则只能人工判断用哪个式子进行了。若要动态显示f(x)整个变化过程则显然无能为力。因此这种做法的缺陷是明显的。

分段函数本意上是一个函数，定义域是各段函数定义域的并集，只是在每一段内其对应关系不同。

在画板作图中应要求：1、函数图象能一次性作出。2、在选择函数图象时，能整体选中。3、在图象上任取一点，这一点应该能在各段图像上自由的移动。这才是几何画板中的真正意义上分段函数。

方法2：首先定义函数①83)(1+=x x f ，②22)(x x f =，③63)(3+-=x x f 然后构造函数：

)(2

)4sgn(1)(2)4sgn()2sgn()(2)2sgn(1)(321x f x x f x x x f x x g -++-+++--+= 绘制g(x)的图像。

这一做法的结果是在画面上g(x)的图像与f(x)的图像完全相同，并且满足上面所说的三个基本要求。因此这一构造法成为经典被列入几何画板常用自定义工具中。实际上，这种构造仍然只是障眼法。它根本上忽视了分段点的归属。我们分析g(x)中的三个构造的式子2)2sgn(1x --+、2

)4sgn()2sgn(x x -++和2

)4sgn(1-+x ，其原理是在它所匹配各段函数定义域范围内取值为1，其它范围内取值为0，在非分段点g(x)与f(x)的值完全相同。现考察其在分段点处的

情形，当x = -2时它们的值分别为0.5、0.5和0，

3)2(5.0)2(5.0)2(21=-+-=-f f g ，而4)2(=-f ，显然f (-2)≠g (-2)；在x =4时，三个式子的值分别为0、0.5和0.5，6)4(5)4(-==f g 而，同样)4()4(g f ≠。这说明g(x)与f(x)并不是相同的函数。那么为什么从图像上看不出来呢，原因是几何画板存在这样的bug ，函数图像中单个点的不会被显示。这一点也许是人们没有意识到或是有意加以利用。若没有这个bug ，且函数的图像在分段处不连续，那必然在分段处出现一个孤立点。

那么，如何在几何画板中实现真正意义上的分段函数呢？下面给出我的方法，步骤如下：

(1)定义函数①83)(1+=x x f ，②22)(x x f =，③63)(3+-=x x f

(2)构造三个函数作为各段的选择因子：

k 1(x)=sgn(1+sgn(-2-x))*sgn(abs(-2-x)) 该函数只有当x ＜-2时值为1，其余为0。 k 2(x)=sgn(1+sgn((x+2)(4-x)))*sgn(abs(4-x)) 该函数只有当-2≤x ＜4时值为1，其作为0。

k 3(x)=sgn(1+sgn(x-4)) 该函数只有当x ≥4时值为1，其余为0。

(3)构造g(x)=k 1(x)*f 1(x)+k 2(x)*f 2(x)+k 3(x)*f 3(x)

(4)选中函数g(x)，绘制函数即得f(x)的图像。

分析这一方法的基本原理：若一个含有n 段的分段函数f(x)中，函数)(x f i (i =1、2、…、n )的原始定义域的交集与f(x)的定义域相同，则针对)(x f i 自变量x 限定范围内，构造相应的选择因子)(x k i ，其中)(x k i (i =1，2，…，n ) 的取值只为0或1，而且这n 个中只能有一个为1。再构造函数∑==n

i i i x f x k x g 1)

()()(则g(x)与f(x)是相同的函数。

一般地，利用画板中的sgn ( )和abs ( )函数可以构造八个不同类型的选择