在三角形ABC中,角ABC=90度,OD垂直于BC,OE垂直AC,O垂直AB,垂直w分别为AD,且OD=OE=OF,求证