如图，已知，以为直径，为圆心的半圆交于点，点为弧CF的中点，连接交于点，为△ABC的角平分线，且，垂足为点.
求证：是半圆的切线；
若，，求的长.