10.2 作直角边垂线的证法