1、几何画板中函数和分段函数定义域处理郑 明 淮(福建尤溪文公高级中学，365100) 几何画板是数学新课程推荐使用信息技术软件。它作出的几何图形、函数图象非常精确，运算功能也十分强大，更重要的是它拥有用动态方式揭示几何图形中的元素间关系保持不变的特点。这些特点对于学生认清问题的本质，弥补空间想像力不足，对相关问题进行验证、探索提供了易于操作的平台。正因为如此，几何画板相对于其他常用软件倍受数学教师的青睐。当然，任何一款软件都不可能做到十全十美，几何画板也是如此。虽然它的版本已经升级到 5.0，我们在使用过程中仍然发现有许多方面不尽如人意。例如：新建一个函数后，利用绘制函数图象功能画出来的是其完整
2、定义域上的图象。而在高中数学中很多函数是限定定义域的，而几何画板不具备直接限定定义域的作图像功能，我们只能另想方法以达到这一目的。这一问题以及分段函数是高中数学中的重点内容，在使用几何画板辅助教学中必需突破这一瓶颈。本文就此两个问题在几何画板环境下做一个探索，希望能有效地、可操作地解决这一问题。一、几何画板中限定定义域函数的图像处理方案例 1、作函数 (82xy)的图像53x分析： 的定义域是 R，2y要去掉 之外的图像只能改变原函数的表达式，使其对应关系与原函数相同，但定义域为 。构造53x如下： 然后绘制函数 f(x) 效果如图。)5(3082)( xxf 函数 f(x) 中的 把函数定义
3、域限定在 ，并且在定义)5(30 53x域范围内其值恒为 0，因此不改变原函数的值。一般地，限定函数定义域的构造有以下八种情况：1、限定函数 f(x)定义域为 a，b构造函数： )(0)(xbaxfy2、限定函数 f(x)定义域为 (a，b构造函数： f3、限定函数 f(x)定义域为 a，b)构造函数： xbaxfy0)(4、限定函数 f(x)定义域为 (a，b)构造函数：)(log0)(xbaxfy5、限定函数 f(x)定义域为 (a，+)构造函数： )log(0)(axfy6、限定函数 f(x)定义域为 a，+)构造函数：7、限定函数 f(x)定义域为 (-，b)构造函数： )l()(xb
4、xfy8、限定函数 f(x)定义域为 (-，b构造函数： 0二、几何画板中分段函数的图像处理例 2作分段函数 的图像。)4.(632.8)(2xxf在网络上或下载的课件中经常看到的两种作法：方法 1：分别构造函数 )2log(083)(xxf xxf420)(22 633f这里对三个函数的定义域分别作出了限制，然后分别绘制这三个函数的图象。这一方法虽然可以在屏幕上同时显示出了 f(x)函数图像，但本质上它是三个不同函数的图像，只是在视觉上让学生感觉是分段函数的图像。若要对分段函数作进一步的研究，如：在 f(x)定义域内任取 x 的值计算其函数值则只能人工判断用哪个式子进行了。若要动态显示 f(
5、x)整个变化过程则显然无能为力。因此这种做法的缺陷是明显的。分段函数本意上是一个函数，定义域是各段函数定义域的并集，只是在每一段内其对应关系不同。在画板作图中应要求：1、函数图象能一次性作出。2、在选择函数图象时，能整体选中。3、在图象上任取一点，这一点应该能在各段图像上自由的移动。这才是几何画板中的真正意义上分段函数。方法 2：首先定义函数 ， ，83)(1xf 22)(xf63)(3xf然后构造函数： )(24sgn(1)(24sgn()s()(2sgn(1)( 321 xfxfxf 绘制 g(x)的图像。这一做法的结果是在画面上 g(x)的图像与 f(x)的图像完全相同，并且满足上面所说
6、的三个基本要求。因此这一构造法成为经典被列入几何画板常用自定义工具中。实际上，这种构造仍然只是障眼法。它根本上忽视了分段点的归属。我们分析 g(x)中的三个构造的式子 、2)sgn(1x和 ，其原理是在它所匹配各段函数定义域2)4sgn()s(xx2)4sgn(1x范围内取值为 1，其它范围内取值为 0，在非分段点 g(x)与 f(x)的值完全相同。现考察其在分段点处的情形，当 x= -2 时它们的值分别为 0.5、0.5 和 0，而 ，显然 f(-2) g(-2)；在 x=4 时，3)2(5.0)(.)2(1ffg 4)2(f三个式子的值分别为 0、0.5 和 0.5， ，同样 。6(5fg
7、而 )4(f这说明 g(x)与 f(x)并不是相同的函数。那么为什么从图像上看不出来呢，原因是几何画板存在这样的 bug，函数图像中单个点的不会被显示。这一点也许是人们没有意识到或是有意加以利用。若没有这个 bug，且函数的图像在分段处不连续，那必然在分段处出现一个孤立点。那么，如何在几何画板中实现真正意义上的分段函数呢？下面给出我的方法，步骤如下：(1)定义函数 ， ，83)(1xf 22)(xf63)(3xf(2)构造三个函数作为各段的选择因子：k1(x)=sgn(1+sgn(-2-x)*sgn(abs(-2-x) 该函数只有当 x -2 时值为 1，其余为0。k2(x)=sgn(1+sg
8、n(x+2)(4-x)*sgn(abs(4-x) 该函数只有当-2 x 4 时值为 1，其作为 0。k3(x)=sgn(1+sgn(x-4) 该函数只有当 x 4 时值为 1，其余为 0。(3)构造 g(x)=k1(x)*f1(x)+k2(x)*f2(x)+k3(x)*f3(x)(4)选中函数 g(x)，绘制函数即得 f(x)的图像。分析这一方法的基本原理：若一个含有 n 段的分段函数 f(x)中，函数(i=1、2、n)的原始定义域的交集与 f(x)的定义域相同，则针对)xfi自变量 x 限定范围内，构造相应的选择因子 ，其中i )(xki(i=1，2，n) 的取值只为 0 或 1，而且这 n
9、 个中只能有一个为 1。再)ki构造函数 则 g(x)与 f(x)是相同的函数。niixfkxg1)()(一般地，利用画板中的 sgn( )和 abs( )函数可以构造八个不同类型的选择因子函数。根据分段函数中各段限定定义域的模型选择相匹配的选择因子函数，构造 便可达到要求。具体的 根据 自变量 xniixfkxg1)()( )(xki )(fi限定形式分别作如下构造：1、当 x a 时选中： =sgn(1+sgn(a-x)(xki2、当 xa 时选中： =sgn(1+sgn(x-a)*sgn(abs(x-a)i5、当 a x b 时选中： =sgn(1+sgn(x-a)(b-x)(xki6、
10、当 ax b 时选中： =sgn(1+sgn(x-a)(b-x)*sgn(abs(x-a)i7、当 a xb 时选中： =sgn(1+sgn(x-a)(b-x)*sgn(abs(b-x)(xki8、当 axb 时选中： =sgn(1+sgn(x-a)(b-x)*sgn(abs(x-a)(b-x)i对于 中原始定义域交集与 f(x)的定义域不同的问题中，直接按上述)(xfi方法可能得不到 的图象，因为 g(x)的定义域就是 niixfkg1)( )(xfi(i=1、2、n)限定定义域的交集。在此情况下所构造的 g(x)是无意义的。例如： 此时按上面方法构造的 g(x)定义域为)1.()l(010
11、xxf。要解决这一问题可以用画板提供的取绝对值函数 abs( )对 的原始定xfi义域进行扩展。本例中， ， ， ，三0)(1xf )1()2xf)1ln()3xf个函数的定义域交集为 ，f(x) 定义域为 R，可将 和 改写为下列2方式把定义域扩展。，)1()(2xabsxf )1(sgn(l)(3 xabxf其中 中把 1 改为 sgn(abs(x-1)的目的是把原来 x=1 时 ln(x-1)无意义3变为有意义。再构造选择因子函数： )(sgn*)s(gn)(1 abxk12 x)1(s)s()(3 xk由于 的特性，扩展部分的相应 和 函数值为 0。在此基础i 2xf)(3f上构造 与 是等价的。函数*)(*)(*)(21kxkfxkg )(xf图象如图所示。几何画板的分段函数的问题，历来是喜欢用画板的老师热议的问题，各种创造性的发挥还将层出不穷。本文所提及的解决方法也许只是其中的一小部分，还脱离不了实际操作层面的繁琐。建议将限定定义域的 8 种类型和分段函数 8 种选择因子函数做成自定义工具，这样在实际使用中会方便一些。 64225g1() = 0.00g0() = 0.00
