矛盾方程(contradictory equation)亦稱矛盾等式，是一種特殊方程，即無解的方程。它有以下兩種形式：1.數值矛盾方程的意義是：在求解範圍內沒有解(或說解集是空集)的方程稱為這個範圍的矛盾方程。例如x+1=0在實數範圍內是矛盾方程，2x+1=0在整數範圍內是矛盾方程，一個方程是否為矛盾方程同求解的範圍有關，擴大求解的範圍，矛盾方程可能轉化為非矛盾方程；2.矛盾方程也泛指在求解範圍內無解的一般數學方程，如邏輯方程：p∧¬p=1(真)是矛盾邏輯方程，x∪1=0是矛盾布爾方程。
基本介紹
- 中文名：矛盾方程
- 外文名：contradictory equation
- 所屬學科：數學
- 所屬問題：初等代數(方程)
- 相關概念：方程，方程的解等
- 別稱：矛盾等式
基本介紹,相關概念,方程的解,方程及其分類,
基本介紹
一個方程的解的全體所組成的集合叫做這個方程的解的集合，簡稱解集。若方程無解，解集就是空集。無解的方程叫做矛盾方程。
相關概念
方程的解
方程的解(solution of equation)是能使方程左右兩邊的值相等的未知數的值，稱為方程的解。一元方程的解也稱方程的根，一個方程的解的全體所組成的集合，稱為這個方程的解集。
方程的解有三種情況：
(1)方程的解是有限個特定的數；
(2)方程的解是無窮多個數，這裡又有兩種情況：一是如
的解為
，但不是一切未知數的允許值都滿足方程；二是方程的解集與未知數的允許值的集合相等，這樣的方程即為恆等式；
(3)方程無解，如
，這樣的方程稱為矛盾方程。方程是否有解或有幾個解，與未知數所在的數域有關。如方程
，在有理數城內無解，在實數域內有兩個解
，在複數域內有四個解
。求出方程的解集的過程叫做解方程，如果方程無解，則其解集為空集。
方程及其分類
方程(equation)亦稱方程式，數學的一個重要概念和研究對象，一般指含未知數或變數的等式，不僅指代數方程。
1.在初等代數中，只論代數方程，含有未知數的代數式的等式稱為方程。按方程的解的狀況，常把方程分為三類：
1) 條件等式方程，例如，方程
，就是滿足
這個條件的等式。普通所說的方程，常指的是這類。
2) 矛盾方程，例如，方程
，無論x取什麼數值，都不能使這個等式成立。
3) 恆等方程，例如，方程
中的未知數x，可取一切數值，等式恆成立。
2.在解析幾何中，在平面或空間建立某種坐標系後，幾何圖形(例如曲線和曲面)常可用點的坐標所應滿足的一個或幾個方程來表示，例如在空間直角坐標系中，平面由一個三元一次方程表示，直線由兩個三元一次方程表示。
3.在現代數學中，把含變元的等式稱為方程。例如，變元為未知函式
的微分方程
在中國，方程的名稱來源於《九章算術》，該書的第八章名曰《方程》。劉徽在注釋中說：“程，課程也，群物總雜，各列有數，總言其實，今每行為率.二物者再程，三物者三程，皆如物數程之，並列為行，故謂之方程.”按劉徽的意義，方程是按照一定的規程進行實驗考核(課)而得到的數學模型一一籌碼方陣一一相當於今天線性方程組的增廣矩陣。劉徽還在方程術中敘述了解方程(變換籌碼)的遍乘法與直除法，即現代的用非零數乘一個方程及將一個方程的若干倍加入另一個方程消元。現在的方程一詞是清朝初期翻譯外文名equation(等式)時借用古名而得.英國博物館保存有公元前20世紀古埃及的珍貴文獻萊因德紙草書，相傳它是阿梅斯(Ahmes)抄寫，其中有一個用象形文字書寫的方程題目：
圖1
