Thm.10 線分を二等分する方法。 Thm.9⇒ nm15667090 原論 第1巻⇒ mylist/27410820 Thm.11⇒ nm15864521
http://www.nicovideo.jp/watch/nm15783329