量化条件の処理
与えられた複雑な条件よりもより簡単な同値条件を求めるという問題は数学では非常に多くあるが, 最初に理解しておかないといけないのは, 一般的に「すべての」とか「存在する」とかの修飾を受け量化された変数 (束縛変数) は消去できて, 残された自由変数のみの同値条件となるということではないだろうか. たとえば 次方程式の解 が「存在する」という条件と同値な判別式には, もはや量化された変数 はどこにも含まれていない. 判別式の条件はどうして求まったかを反省してみれば, 量化条件をどのように処理すればよいかの感覚はつかめると思う.【問】 は定数とする. つの不等式, を同時に満たす整数が存在し, かつ…
2023/02/26 21:14