如图，半圆的直径的长为4，点平分弧，过作的垂线交于，交于．
（1）求证：：
（2）若是的角平分线，求的长．