命題「円に内接する四角形は、その向かい合う角の和が１８０°である」[br]その逆「向かい合う角の和が１８０°である四角形は、円に内接する」[br]両方とも成り立つ場合、[br]「円に内接する四角形」と「向かい合う角の和が１８０°の四角形」は同値であるという。[br][br]条件で作図をして結果が成り立てば、証明されたことになる。[br]でも、右図の交点が円周上にあることは、見ただけではわからないので、さらに確かめる必要がある。[br]どうすればいいだろうか？[br]

この証明は背理法を使ってやるので、けっこうややこしい。[br][br]でも、図を見たら正しいと思う。[br]その思うことを論理によってはっきりさせるのが証明なのだ。[br][br]そして、ここで大事なことは同値であるということ。[br]この二つの条件はどちらからでも言えるので、同じ現象を違う条件でいいかえることができる。[br]このことは作図においてとても大事で、作図の順番が条件を示している。[br][br]そして、こういうことの積み重ねが図形のいろいろな性質を生み出し、豊かな世界を作り出している。