Unfortunately, I don't think it's used to calculate the angle bisector of a line.
It is mainly used to calculate if two lines are parrallel to eachother.
Since \(\frac{Ax+By+C}{\sqrt{A^2+B^2}} \) calculates the distance from the origin for the line \(Ax + By + C =0\) and the same applies for the left hand side, if the two are equal, they are parrallel lines.
However, I do believe I know what formula was used.
If we set the slopes of the two lines given in the question to \(m_1\) and \(m_2\), the slope of the angle bisector is
\(m=\sqrt{\frac{m_1m_2+1}{m_1+m_2}}\)
I hope this helps! If you have anymore questions, feel free to ask!
Thanks! :)