求证(1-cosa)/sina=tan(a/2)