已知:在△ABC中,∠B=90度,O是AB上一点,以O为圆心,OB为半径的圆与AB交于点E,与AC相切于点D.求证:DE