解集合の境界を含む可能性のあるものとして （１）もとの曲面達の共通部分の正射影 （２）もとの曲面の，正射影が含まれる空間に垂直な接平面の接点，および，特異点の正射影 があることを見ましたが，次の例ではどうでしょう？ ∃x ( 1≦x ∧ ax=1 ) QE 自体は…

前々回の例では，解集合の境界 {-3,1} は，直線と放物線の共通部分の y 軸への正射影 {-3,0,1} に含まれていましたが，例えば ∃x ( x≦a ∧ x^2-4x+a≦0 ) はどうでしょう？ QE は，直線 y=a と集合 x≦y ∧ x^2-4x+y≦0 との交わりが空でない（つまり，点を共有す…

前回の QE では，直線と放物線との共有点の y 軸への正射影を求めるため，実際に連立方程式を解きましたが，例えば のように次数が上がると，その実行は難しくなります．また のように変数の種類が増すと，n 次元空間の曲面どうしの共通部分は曲線または点（…