∡BSQ este unghi exterior al ΔASB ⇒ m(∡BSQ) = m(∡BAS) + m(∡ABS)
∡CSQ este unghi exterior al ΔASC ⇒ m(∡CSQ) = m(∡CAS) + m(∡ACS)
Cum m(∡BAS) = m(∡CAS) si
m(∡ABS) = m(∡ACS) (+)
-------------------------------------------- (+) (Adunam cele 2 egalitati)
m(∡BAS) + m(∡ABS) = m(∡CAS) + m(∡ACS)
m(∡BSQ) = m(∡CSQ) ⇒ SQ este bisectoarea unghiului BSC