Talk:Steiner-Lehmus Theorem

--Jhoshen1 (talk) 20:46, 29 January 2021 (UTC)The formula for the length of the vertex B angular bisector given in the proof is incorrect as it leads to the conclusion that $b=c$ instead of $b=a$. The formula given in the current proof for $\omega_\beta^2$ is:
 * $\omega_\beta^2 = \dfrac {b a} {\paren {b + a}^2} \paren {\paren {b + a}^2 - c^2}$

It should have been
 * $\omega_\beta^2 = \dfrac {c a} {\paren {c + a}^2} \paren {\paren {c + a}^2 - b^2}$

Shortly, I will be proposing a correction, a shortening and a simplification of the proof


 * While you may feel free to correct any mistakes in the existing proof, please do not replace it with your own proof (even if it is shorter and perhaps better).


 * Please add your new proof as a completely new section.


 * Many thanks for your co-operation. --prime mover (talk) 22:01, 29 January 2021 (UTC)


 * Now I've looked at it, it merely means that the second formula is for $\omega_\gamma^2$, where $\omega_\gamma$ is the angle bisector of $C$ rather than of $B$.


 * Hence it shows that $a = c$. --prime mover (talk) 22:04, 29 January 2021 (UTC)