From 
I am asked to get the value of $\theta$ in terms of $\alpha$ and $\beta$. Quick geogebra "shows" it is the difference, but how do you show it mathematically? All the properties I have about it are that the incenter is the intersection of the bisectors, and the orthocenter of the altitudes.
After putting some variables on the angles BAI and ABI, I expected those variables to get cancelated, but they did not. How can I poceed further?
