第1巻命題11 直線上の点を通る垂線

与えられた直線にその上の与えられた点から直角に直線を引くこと。