合情推理因信息技术而更富活力.doc

合情推理因信息技术而更富活力 ——以超级画板与合情推理的融合为例 张海强 姜燕君 （江苏省宜兴中学 214200） 1.引言 波利亚认为数学不仅是“一门严格的演绎科学”，而且更像“一门实验性的归纳科学”.他说，数学的创造过程与任何其他知识的创造过程一样在证明一个定理之前先得猜想、发现出这个定理的内容在完全作出详细证明之前还得不断检验完善、修改所提出的猜想还得推测证明的思路.在这一系列的工作中需要充分运用的不是论证推理而是合情推理.⑵设为原点，若点在椭圆上，点在直线上，且，求直线与圆的位置关系，并证明你的结论. 解答：⑴椭圆的离心率为.（过程从略） ⑵直线与圆相切.证明如下： 设点的坐标为，其中. 因为，所以，即，解得. 当时，，代入椭圆方程，得， 故直线的方程为，圆心到直线的距离为. 此时直线与圆相切. 当时，直线的方程为， 即 圆心到直线的距离. 又，故. 此时直线与圆相切. 3.一般化 将椭圆一般化为，圆则相应变为，那么直线应一般化为什么呢？ 猜想1.将直线变为直线. 利用超级画板验证发现直线与圆的关系随值得变化而变化. 猜想2.将直线变为直线. 利用超级画板验证发现直线与圆亦不一定相切. 猜想3.将点运动至点，此时点落在轴上，因直线与圆相切，可求得点的坐标为，故猜想将直线变为直线. 并用超级画板验证发现结论成立，故得出如下结论： 结论1.已知椭圆，设为原点，若点在椭圆上，点在直线上，（其中）且，则直线与圆相切.（证明过程与试题解答相仿，不再赘述） 4.由椭圆向双曲线跨越 能否将椭圆变为双曲线呢？ 猜想4.已知双曲线，设为原点，若点在双曲线上，点在直线上，（其中）且，则直线与圆相切. 利用超级画板验证发现该猜想不正确（如图3），但从运动中发现两个问题：⑴由于的大小不定，点有可能位于圆的内部，此时直线不可能与圆相切；⑵直线与圆始终相交，点有可能位于圆的内部.基于上述现象，考虑修改成如下猜想： 猜想5.已知双曲线，设为原点，若点在双曲线上，点在直线上，（其中）且，则直线与圆相切. 利用超级画板检验，发现猜想仍然不成立！（如：当点的坐标取时，点的坐标为，此时直线与圆相交.）针对这一现象考虑将双曲线修改为，并用超级画板检验，发现猜想正确.（如图4） 结论2.已知双曲线，设为原点，若点在双曲线上，点在直线上，（其中）且，则直线与圆相切. 证明：设点的坐标为，其中. 因为，所以，即，解得. 当时，，代入双曲线方程，得， 故直线的方程为，圆心到直线的距离为. 此时直线与圆相切. 当时，直线的方程为， 即 圆心到直线的距离. 又，故 . （注：） 此时直线与圆相切. 5.逆向探究 5.1以“点”为探究对象 将结论“直线与圆相切”变为条件，又将会出现何种结果呢？ 猜想6.已知椭圆，设为原点，若点在椭圆上，点为一动点，满足，且直线与圆相切，则点的轨迹为一条直线. 利用超级画板检验，发现结论不完整，点的轨迹应为两条平行直线，利用“测量”选项可测得点的纵坐标为.（其中）（如图5） 结论3.已知椭圆，设为原点，若点在椭圆上，点为一动点，满足，且直线与圆相切，则点的轨迹方程为. 证明：设点的坐标为，因为点在椭圆，故. 当直线的斜率不存在时，的直线方程为，相应点的坐标为,此时点的纵坐标分别为. 当点的坐标为时，点的坐标为. 当直线的斜率存在且时，设直线的方程为，即. 因直线与圆相切，故，即…①； 展开得…②. 直线的方程为，与直线的方程联列得. 计算， 将②代入得. 故(定值).所以点的轨迹为两条平行于轴的直线. 对双曲线的情形又将如何呢？ 猜想7. 已知双曲线，设为原点，若点在双曲线上，点为一动点，满足，且直线与圆相切，则点的轨迹方程为. 利用超级画板检验，发现猜想有瑕疵，点的轨迹应是四条射线（如图6），通过测量发现点的纵坐标为，由此得到结论4： 结论4. 已知双曲线，设为原点，若点在双曲线上，点为一动点，满足，且直线与圆相切，则点的轨迹为四条射线.（即直线在圆的圆外部分（包括边界）） （限于篇幅，证明从略） 5.2以“点”为探究对象 能否将“点的轨迹”作为探求的结论呢？ 猜想8.设为原点，若点为一动点，点在直线上，且满足：，直线与圆相切，则点的轨迹为椭圆. 利用超级画板检验，发现猜想不完整，通过改变的值，可知点的轨迹可以为椭圆，可以为两条平行直线，也可以为双曲线.（如图7~9）这一结果既在意料之外，更在情理之中. 结论5. 设为原点，若点为一动点，点在直线上，且满足：，直线与圆相切，则点的轨迹方程为. 证明：设点的坐标为且. 因为，所以，即，解得. 当直线的斜率不存在时，点的坐标为. 当直线的斜率存在时，其方程可设为……③， 直线的方程为……④， 因为直线与圆相切，故……⑤. 由③④⑤消去：， 整理得：，即. 当