



全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
“负负得正”的乘法法则可以证明吗?关于“负负得正”的乘法法则,是否可以通过证明来确认这条法则呢?这个问题历来被老师们关注,有关专家对此也有各种看法,现将一篇新近文章转摘如下,供老师们参考。“负负得正”的乘法法则可以证明吗?(田载今,中学数学教学参考,2005年第3期) 有理数的乘法法则中包括“负负得正”一条,“两个负有理数相乘,结果(积)是一个正有理数,其绝对值等于相乘两数的绝对值的乘积.”例如,(2)(3)=6 这条法则对刚学它的人来说,不是很容易理解,多数人是把它硬记下来的.记得水稻专家袁隆平院士说过他学正负数时想不清这个法则的道理,就去向老师请教,老师说:“你记住就行了.” 编写教材时,大家为说明这条法则的道理想了很多办法,有的教材以实际问题为背景来说明,有的教材从运算律的角度进行说明,有的教材利用相反数的意义解释 教学中,许多老师都反映这条法则的道理不是很好讲.也有人考虑:是否可以通过证明来确认这条法则呢?教科书中哪种说法可以算是对它的证明呢? 一种意见认为,“负负得正”有着丰富的实际背景,实践是检验真理的标准,这些实际背景对这一 法则的证明.例如,考虑这样的问题:如果水位一 直以每小时2厘米的速度下降,现在水位在水文标尺刻度的A处,3小时前水位在水文标尺的刻度在何处?为区分水位变化方向,我们规定水位上升为正,下降为负;显然3小时前水位在水文标尺刻度的A处上方6cm处,这可以表示为(2)(3)=6.在许多情况下,都能找到类似这样的“负负得正”的原型,因此,“负负得正”可以认为是通过客观实践检验证明的. 上面的意见中,以“实际事物的原型”替代“数学的证明”的做法是不妥的.数学中的证明不是个例的验证,数学不是物理、化学、生物那样的实验科学,它的命题具有一般性,不能依靠检验个别案例完成对一般结论的证明,而需要依据已有的结论(定义、公理和定理等)经合乎逻辑的推导来证明.这些客观事物中的原型,只有在人为地规定问题中有关量的正负意义之后,即经过数学化、抽象化之后,才具有了“负负得正”的意义,它们只能说明“负负得正”有 实际背景,或作为应用“负负得正”法则的例子,而不能作为逻辑地推导这个法则的根据.另一种意见认为,可以通过运算律来证明“负负得正”这一法则,具体推导过程如下:有了有理数的加法法则以及“正正得正”,“正负得正”的乘法法则之后,由分配律,有(1)(1)=(1)(12)=(1)1(1)2=1(2)=12=1 . 进而由交换律和结合律可以推出任何两个负数相乘的结果,例如, (2)(3)=(1)2(1)3=(1)(1)23 =(1)(1)(23)=16=6. 于是,得出“负负得正”这一法则. 笔者认为,上面的意见中在应用分配律时,用到了 (1)(12)=(1)1-(1)2. (1)当确立了有理数的加法法则以及“正正得正”,“正负得负”的乘法法则,而尚未确立“负负得正”这一法则时,这样做是缺乏根据的.在这时,我们可以确信(1)(21)=(1)2(1)1. 这是因为的左边为 (1)(21)=(1)1=1.的右边为 (1)2(1)1=-2-(-1)=-2+1=-1.所以(2)的左边等于右边,即(2)成立.但是,我们不能用类似的方法推出成立,因为的左边为 (1)(12)=(1)(1),而(1)(1)的法则此时尚未成立,所以无法确定的左边是否等于右边,即此时分配律等于(1)(12)是否适用尚且存疑。先确定运算法则,后才能确定那些运算律成立,是合乎逻辑顺序的做法.这就是说,只有当(1)(1)的结果确定后,才能明确(1)成立.因此,像上面那样用分配律推导“负负得正”的法则有循环论证之嫌.还有一种意见认为,如果在确立了通常的有理数加法法则后,把有理数的乘法定义为一种抽象的运算(即先不规定具体的乘法运算法则),并从抽象代数角度约定有理数集合连同加法、乘法运算构成一个域,那么就能推导出通常的具体的有理数乘法法则,自然也就推出了“负负得正”.笔者认为,事实上并非如此,请看下面反例.我们这样规定有理数的乘法“”:对于任意两个有理数a 、b它们的“乘积”ab=ab即这样“乘积”等于通常乘法的乘积的相反数.可以验证,1是这种“乘法”的单位元,对任意非零有理数x,他的逆元是,并且 (ab)c=a(bc)(结合律); ab=ba(交换律);a (bc)=abac(分配律)在有理数结合内都成立.因此,有理数集合Q连同通常意义的有理数加法“”、如上定义的有理数的乘法“”,满足抽象代数中域的定义,即Q,是一个域.但是,这个“乘法”法则不是“负负得正”,而是“负负得负.”上述反例证明.在确立了有理数通常 的加法法则,并约定有理数集合连同加法、乘法运算构成一个域的条件下,并不能一定得出“负负得正”的乘法法则.第四种意见证明,如果先确立通常的有理数的加法法则以及两个非负有理数的乘法(及算术中的乘法)法则,然后再把含有负因数的有理数乘法定义为一种抽象的运算,并把这种抽象的乘法运算连同算术中的乘法合起来作为整个有理数的乘法法则,并且约定有理数集合连同加法、乘法运算构成一个域,那么就能推导出通常的有理数乘法法则,自然也就推出了“负负得正”.具体推导过程如下:由于约定了有理数集合连同加法、乘法运算构成一个域,根据分配律(1)1=(12)1=1121=12=1, (1)2=(1)(11)=(1)1(1)1=1(1)=2, (1)(1)=(1)(12)=(1)1(1)2=1(2)=12=1, 因此,(1)(1)=1。在此基础上,由交换律和结合律可以推出任何两个负数相乘的法则,即两个负有理数相乘,结果(积)是一个正有理数,其绝对值等于相乘两数的绝对值的乘积.这种意见中,作为推理依据除了确定加法法则及部分乘法法则外,还有“有理数集合连同加法、乘法运算构成一个域”这个重要的约定,然而,在乘法法则尚未确定之前,就做出这个约定在逻辑上是否合适呢?应先完全确定有理数的加法和乘法的具体法则,才能根据域的定义判断Q,X是一个域,这是一种合乎逻辑的推理顺序.而像上面那样先约定Q,X是一个域,再由约定去确定乘法法则的过程,恰与正常的推理顺序相反.这样进行本未倒置的分析,目的在于说明确定乘法法则的一种意图,即使新确定适用于Q的乘法法则与已有的算术中的乘法法则不矛盾,并且能使Q,X是一个域.这样的分析只能说明确定有理数乘法法则的思想背景,而不能认为是合乎逻辑地导出了有理数的乘法法则.代数中类似上面那样说明某种规定的背景的例子有许多,例如下面的对规定a0=1(a0)的解释.我们已知,同底数幂除法法则,即aman=am-n(a0,m、nN+,mn)。如果这一法则在a0,m、nN+,m=n时也适用,则有amam=am-m=a0另一方面,显然有amam=1。于是,规定a0=1(a0).这里的“这一法则在a0,m、nN+,m=n时也适用”事先缺乏根据,而只是一种假设,借以作为后面如何具体定义0指数幂的背景.因为“这一法则在a0,m、nN+,m=n时也适用”这个前提条件,在未定义0指数幂前还未落实,所以不能认为由这个空中楼阁可以推导a0=1(a0),否则就犯了推理理由不真实和循环论证的逻辑错误.这个问题与前面第四种意见的做法是类似的,类比他们可
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 医院临床医学院教学工作管理制度
- 初中物理易错题专项训练
- 企业文化宣传材料制作
- 首都体育学院《田径实践教学》2024-2025学年第一学期期末试卷
- 南京大学金陵学院《汽车电控原理》2024-2025学年第一学期期末试卷
- 文华学院《生态学专题》2024-2025学年第一学期期末试卷
- 南京中医药大学《地下工程测量》2024-2025学年第一学期期末试卷
- 福州职业技术学院《城市设计理论与方法》2024-2025学年第一学期期末试卷
- 昆明文理学院《三笔字训练一》2024-2025学年第一学期期末试卷
- 重庆科技职业学院《大学体育三》2024-2025学年第一学期期末试卷
- 2025年文旅集团投资运营发展报告282mb
- 2025-2026学年人教版生物八年级上册第一学期期中学情评估卷(含答案)
- DB4403T 508-2024《生产经营单位锂离子电池存储使用安全规范》
- 2025-2030年中国智能建筑行业市场发展分析及前景预测与战略规划研究报告
- 2025至2030年中国谷物干燥设备行业市场研究分析及投资前景分析报告
- 边坡整治建设项目可行性研究报告
- 员工健康教育与健康促进继续教育或专题培训制度
- 2025年广西安全员B证考试试题题库
- 200兆瓦风电项目清单及报价表
- 绿化恢复协议书
- 成人术中非计划低体温预防与护理-中华护理学会团体标准
评论
0/150
提交评论