如图，在中，，点O在上，以为半径的半圆O交于点D，交于点E，过点D作半圆O的切线，交于点F.

1. (2020·咸宁) 如图，在 $\text{[math]}$ 中， $\text{[math]}$ ，点O在 $\text{[math]}$ 上，以 $\text{[math]}$ 为半径的半圆O交 $\text{[math]}$ 于点D，交 $\text{[math]}$ 于点E，过点D作半圆O的切线 $\text{[math]}$ ，交 $\text{[math]}$ 于点F.
1. （1）求证： $\text{[math]}$ ；
3. （2）若 $\text{[math]}$ ， $\text{[math]}$ ， $\text{[math]}$ ，求半圆O的半径长.