反证法如图在三角形adc中,ad垂直bc于点d