在梯形ABCD中,AB//CD,角BAD=90度以AD为直径的半圆O与BC相切于F.求证:OB垂直于OC