谜面：姜尚渭水钓无钩（数学名词）

谜底：公垂线