パスカルの定理(証明)
3 点 A，D，Q を通る円と AB，DE との交点を K，L とする。
△EBR と △LKQ において，EB と LK，BR と KQ，RE と QL
がそれぞれ平行であることがいえれば，右の補助定理から
3 直線 EL，BK，RQ が 1 点で交わることが証明される。
[補助定理]
2 つの三角形の対応する 3 辺がそれぞれ平行ならば，
対応する頂点を通る 3 直線は 1 点で交わる。
証明(PDF)