Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Reduceを使った定理証明 〜 グレブナー基底を添えて 〜

Qiushi Pan
December 10, 2018

Reduceを使った定理証明 〜 グレブナー基底を添えて 〜

主専攻実習,定理証明グループ最終発表スライド.Reduceを使った定理証明の解説を,グレブナー基底から,具体的な定理で証明するまで.

Qiushi Pan

December 10, 2018
Tweet

More Decks by Qiushi Pan

Other Decks in Science

Transcript

  1. ४උάϨϒφʔجఈ w ํఔࣜ !" , … , !% → άϨϒφʔجఈ

    '" , … , '( w ํఔࣜΛղ͖΍͍͢ܗʹม׵ͨ͠΋ͷ w ଟม਺ଟ߲ࣜͷআࢉ ֤εςοϓΛ؆໿ͱΈͳ͢ ʢ.؆໿ SFEVDJUPO PG.VMUJQMFTʣ
  2. ४උΠσΞϧ w Մ׵؀RͷΠσΞϧI Rؚ͕ΉIͰҎԼΛຬͨ͢΋ͷ i) %, ' ∈ ) ⟹

    % ± ' ∈ ) ii) % ∈ ), , ∈ - ⟹ %, ∈ ) w ྫɿ R = ℤ, I={3} 3) 34 ± 35 = 3 4 ± 5 33) 34 5 = 3(45)
  3. w ΠσΞϧ ͷഒ਺ Λ 3 ͱॻ͘ɽ 9 ∈ (3) 8

    ∉ 3 9 ÷ 3 = 3 ⋯ 0 ͸ͷഒ਺ 8 ÷ 3 = 2 ⋯ 2 ͸ͷഒ਺Ͱ͸ͳ͍ w Ծఆ-. , … , -1 ݁࿦ 2 2 34,…,35 0 ͳΒ 2 ∈ -. , … , -1 ੒Γཱͭอূ͕ͳ͍㱺άϨϒφʔجఈ ℎ. , … , ℎ7 ʹ࡞ Γม͑Δ 2 84,…,89 0 ͳΒ 2 ∈ -. , … , -1 ఆཧΛࣔ͢खॱ
  4. w Ծఆ ☐ABCD C−D−E AC ⊥ EP A−C−P AE ⊥

    CQ A−E−Q ݁࿦ B−P−Q w *+ ࣗ༝ͳ஋ ,+ ଞͷ఺ʹ෇ਵ ܾͯ͠·Δ఺ (0, 0) (*1 , 0) (0, −*1 ) (*1 , −*1 ) (*1 , *2 ) (,3 , ,4 ) (,1 , ,2 )
  5. w Ծఆ ☐ABCDʜࣗ໌ C−D−Eʜࣗ໌ AC ⊥ EP ʜ)* A−C−P ʜ)+

    AE ⊥ CQ ʜ)- A−E−Q ʜ). ݁࿦ B−P−Q ʜ/ 3FEVDFϓϩάϥϜ
  6. ! "#,…,"& 0 ͱͳͬͨɽ Αͬͯ ! ∈ )* , …

    , )+ ఆཧ͸ূ໌͞Εͨɽ 3FEVDFϓϩάϥϜ࣮ߦ݁Ռ