增根和失根:解方程的逻辑问题

方程的应用,减少了解决算术问题的思维量。有了方程,就不必砍腿去解鸡兔同笼了。列个方程,或是方程组,通过对方程进行代数变换,就可以解出未知量。

不过对方程进行代数变换是要讲逻辑的,不能随便乱变。前几天在 Quora 上看到类似这样的一道题:

已知

\( x+\frac{1}{x}=2\sqrt{5} \)  (1)

\( {x}^{2}+\frac{1}{{x}^{2}} \) (2)

如果直接从方程 (1) 中解出 \(x\), 再代入 (2) 式,非常麻烦。但是如果对 (1) 式两边平方:

\( {x}^{2}+\frac{1}{{x}^{2}}+2=20 \) (3)

再两边同减 2, 不难得到

\( {x}^{2}+\frac{1}{{x}^{2}}=18 \) (4)

那么问题来了:这么搞合理吗?有没有漏解?有人发表了这个简单解法之后,立马就有人质疑,说这样不保险,容易失根或产生增根。比如 \( x=2 \) 这个显然有且只有一解(实数范围内)的方程,把它两边平方,反而得到 \( {x}^{2}=4 \), 有两个解。

为什么会这样?两个数相等,它们的平方也应该相等啊,这是毫无疑问的,怎么平白无故多出一个根来?

这是因为,把方程两边平方,不是等价变形。即 \( a=b \) 能推出 \( {a}^{2}={b}^{2} \), \( {a}^{2}={b}^{2} \) 却推不出 \( a=b \). 只有两个方程能相互推出时,它们才互为等价变形,才能说这两个方程本质上是一个方程,解是一样的。解方程的时候,一定要注意这一点。

所以,把 (1) 式两边平方,并不严谨。不过,这也并不意味着,我们就必须把 \(x\) 解出来。反过来令 \( t={x}^2+\frac{1}{{x}^{2}} \), 可得:

\( t+2={x}^2+\frac{1}{{x}^{2}}+2 \)

\( t+2={(x+\frac{1}{x})}^{2} \)

\( t+2=20 \)

\( t = 18 \)

这样在逻辑上就没有毛病了。

时间: 2024-10-16 03:21:39

增根和失根:解方程的逻辑问题的相关文章

Linux根文件系统的详解

                            Linux根文件系统的详解    多数的Linux版本使用的是FHS文件组织结构,FHS是Filesystem Hierarchy Standard(文件系统目录标准)的缩写,其采用树形结构组织文件.实际上FHS仅是规范在根目录(/)下面各个主要目录应该放什么样的文件.然后下面我们就进行对Linux的rootfs进行简单的分析说明.         首先对rootfs进行一下说明,rootfs是Root File System的缩写,表:L

论 <解方程>

题面: 求n次整系数方程\(\sum_{i=1}^{n} a_ix^i = 0\)在区间\([1,m]\)上的整数解 解法: 1.暴力 O(NM) 暴力枚举+解方程 2.假设只要求一个解 瞎搞做法 引入参数T,选取T的整数倍作为标志点,在两个标志点间用勘根 时间复杂度O(\frac{T}{M} \time T) , 取\(T = \sqrt{M}\)时最优 3.假设\(a_i\)很小 由整数方程解的性质,设该解为\(\frac{p}{q}\),可得 \(q|a_1\) \(p|a_n\) \(q

用python解方程和微积分

用python解方程: from sympy import * x = Symbol('x')  y = Symbol('y') print solve([2* x - y -3,3* x + y -7],[x, y]) 2. 求极限: 代码中的oo就代表无穷. from sympy import * n = Symbol('n') s = ((n+3)/(n+2))**n print limit(s, n, oo) 3. 求定积分: integrate函数用于积分问题. from sympy 

NOIP201410解方程(C++)

NOIP201410解方程 难度级别:A: 运行时间限制:1000ms: 运行空间限制:51200KB: 代码长度限制:2000000B 试题描述 已知多项式方程: a0+a1*x+a2*x^2+a3*x^3+-+an*x^n=0 求这个方程在[1, m]内的整数解(n 和 m 均为正整数). 输入 输入共 n+2 行.第一行包含 2 个整数 n.m,每两个整数之间用一个空格隔开.接下来的 n+1 行每行包含一个整数,依次为a0,a1,a2-an.  输出 第一行输出方程在[1, m]内的整数解

codevs3732==洛谷 解方程P2312 解方程

P2312 解方程 195通过 1.6K提交 题目提供者该用户不存在 标签数论(数学相关)高精2014NOIp提高组 难度提高+/省选- 提交该题 讨论 题解 记录 题目描述 已知多项式方程: a0+a1x+a2x^2+..+anx^n=0 求这个方程在[1, m ] 内的整数解(n 和m 均为正整数) 输入输出格式 输入格式: 输入文件名为equation .in. 输入共n + 2 行. 第一行包含2 个整数n .m ,每两个整数之间用一个空格隔开. 接下来的n+1 行每行包含一个整数,依次

HDU 4793 Collision --解方程

题意: 给一个圆盘,圆心为(0,0),半径为Rm, 然后给一个圆形区域,圆心同此圆盘,半径为R(R>Rm),一枚硬币(圆形),圆心为(x,y),半径为r,一定在圆形区域外面,速度向量为(vx,vy),硬币向圆盘撞过去,碰到圆盘后会以相反方向相同速度回来(好像有点违背物理规律啊,但是题目是这样,没办法).问硬币某一部分在圆形区域内的总时间. 解法: 解方程,求 (x+vx*t,y+vy*t) 代入圆形区域方程是否有解,如果没解,说明硬币运动轨迹与圆形区域都不相交,答案为0 如果有解,再看代入圆盘有

【NOIP之旅】NOIP2014 day2 T3 解方程

3.解方程 (equation.cpp/c/pas) [问题描述] 已知多项式方程: 求这个方程在[1, m]内的整数解(n和m均为正整数).   [输入] 输入文件名为equation.in. 输入共n+2行. 第一行包含2个整数n.m,每两个整数之间用一个空格隔开. 接下来的n+1行每行包含一个整数,依次为a0,a1,a2,……,an. [输出] 输出文件名为equation.out. 第一行输出方程在[1, m]内的整数解的个数. 接下来每行一个整数,按照从小到大的顺序依次输出方程在[1,

1743: 解方程

1743: 解方程 Description 一群奥特曼打败了一群小怪兽,已知所有的奥特曼均有x1个头.y1条腿(变异奥特曼),所有的小怪兽均有x2个头.y2条腿.战场上一共有q个头,w条腿,问有多少奥特曼,有多少个小怪兽? Input 输入数据有多组每组包含6个正整数,分别为,x1,y1,x2,y2,q,w :(0<=q,w<=1000000000):输入数据保证有唯一解.读到0 0 0 0 0 0结束. Output 输出占一行,包含两个正整数,分别为:奥特曼和小怪兽的数目: Sample

STP 根桥、根端口、指定端口是如何选举的

学习CCNA过程中,对交换机的根桥.跟端口以及指定端口选举有些迷糊,也度娘了一番,总觉得一部分人解释的不够全面精细.通过仔细研究最终有了自己的理解,分享给大家,如果纰漏,欢迎指正. STP收敛过程: 1. 选根桥 (Root Bridge):根桥选举很简单 要点:比较桥ID,桥ID由2字节优先级和6字节MAC地址组成. a. 先比较桥ID中的优先级,具有最小优先级的,此交换机定为根桥. b. 如果优先级一样,再比较桥ID中的MAC地址,MAC地址最小的确定为跟桥. 2. 所有非根交换机上选根端口