AP=AB inseamna ca triunghiul ABP este isoscel cu unghiurile congruente
[tex]\angle{ABP}=\angle{APB}[/tex]
BQ este bisectoarea unghiului BAC deci unghiurile partajate sunt egale cu jumatate din unghiul total atunci
[tex]\angle{BAQ}=\angle{QAC}=\frac{BAC}{2}\Rightarrow\angle{BAC}=2\angle{BAQ}[/tex]
unghiul BAC va fi unghiul exterior al unghiului BAP din triunghiul ABP
unghiul exterior al unui triunghi stim ca este egal cu suma celorlalte unghiuri din triunghiul respectiv, adica
[tex]\angle{A_{ext}}=\angle{ABP}+\angle{APB}=\angle{BAC}\Rightarrow 2\angle{ABP}=2\angle{BAQ}\Rightarrow \angle{ABP}=\angle{BAQ}[/tex]
putem vedea ca dreapta AB intretaie laturile AQ si BP si formeaza respectivele unghiuri de mai sus ca unghiuri opuse(alterne interne). Conform regulii secantei pentru alterne interne, daca aceste unghiuri sunt egale, inseamna ca BP||AQ
