1/tan(α-45°)=tan((180°-α)/2)?