仮定と証明すること

これまで、長さを求めてきました。証明が答えるのは別の問いです。何かがどれくらい大きいかではなく、なぜある事実が必ず成り立つのか、という問いです。証明はすべて、与えられた事実である仮定から始まり、証明するよう求められた命題にたどり着きます。

仮定の多くは、図に記号で示されています。同じ印のついた目盛りは辺の長さが等しいことを示し、同じ弧の印は角が等しいことを示し、小さな正方形は角が90°であることを示し、同じ矢印（シェブロン）は直線が平行であることを示します。「MはABの中点である」のように、言葉で書かれた事実もあります。どちらも同じように仮定として扱います。

この凧形では、1本線の印からAB = AD、2本線の印からCB = CDであることがわかります。AB = CBであるとはどこにも示されていません。異なる印は、たとえ辺がどれほど似て見えても、その2辺について図形が何も保証していないことを意味します。