El ángulo cóncavo \( \angle AIC \), el \( \hat B \), el \( \angle BAI \) y el \( \angle BCI \) son los del cuadrilátero \( AICB \), y por tanto suman 360 grados, es decir
\( \textsf{4 rectos}=\angle AIC+\hat B+\hat A/2+\hat C/2=\angle AIC+\textsf{1 recto}+\hat B/2 \)
de donde
\( \angle AIC=\textsf{3 rectos}-\hat B/2 \).
Doy por hecho que queremos hallar el convexo, así que basta hacer
\( \textsf{4 rectos}-(\textsf{3 rectos}-\hat B/2)=\textsf{1 recto}+\hat B/2 \)