[size=200]Construa [b]o[/b] triângulo [math]\Huge ABC[/math], conhecidos os comprimentos [math]\Huge\overline{AB}=c[/math] e [math]\Huge b_a[/math] da bissetriz interna relativa ao lado [math]\Huge BC[/math], bem como a medida [math]\Huge \angle BAC=\alpha[/math].[/size]
[size=200]Prove que se [math]\Huge A'B'C'[/math] é um triângulo tal que [math]\Huge \overline{A'B'}=c, \angle B'A'C'=\alpha[/math] e a bissetriz interna relativa ao vértice [math]\Huge A'[/math] é [math]\Huge b_a[/math], então[math]\Huge A'B'C'[/math] é congruente a [math]\Huge ABC[/math].[/size]