d⊥c⇒l⊥m

前の図の円の半径を変えたらどうなるのか調べてみた。まずＧを動かしてみよう。次にＨを動かしてみよう。そして、l⊥mを証明してみよう。このカリフォルニアの人から教えてもらった定理は、円の大きさを変えても直角で成り立つ。さて、長さの方はどうだろうか？

探索資源