B' - sim. lui B față de C=> BB'=BC
C' - sim. lui C față de B=> CC' = BC
=> CC'=BB'
AB'=AC' => ∆AB'C' - isoscel=> <AB'C'=<AC'B' => <AB'B=<AC'C
comparăm ∆AB'B cu ∆AC'C
B'B=C'C
<B'=<C'
AB'=AC' ===L.U.L.===> ∆AB'B=∆AC'C => AB=AC => ∆ABC - isoscel
