命題１：円錐の切断面か円に接する直線が交わり、接点を通って接線に交わる直径が引かれるなら、結果的に垂直に関係づけられた三角形は等しい。
円錐の切断面か円の円周ＡＢがある。Ｅで交わるＡＣとＢＤはＡＢと接し、ＣとＤで接線に交わる切断面の直径ＣＢとＤＡはＡとＢを通って引くとする。
三角形ＡＤＥ＝三角形ＥＢＣ
注）上のアプレットの画面をダブルクリックすると、スクロールバーがアプレット画面下部に現れます。
①作図の自動再生、②手動再生のスライドバー、③図の逆構成、④図の構成、⑤画面移動、⑥残像効果、⑦アニメーション効果、⑧図のダウンロード