cd垂直于ab于d且有ac等于ab乘ab.