Thm.12 線分上にない点から垂線を降ろす方法。 Thm.11⇒ nm15864521 原論 第1巻⇒ mylist/27410820 Thm.13⇒ nm16017981
http://www.nicovideo.jp/watch/nm15943772