垂線、割面、割線