Resposta:

Veja abaixo

Explicação passo a passo:

.      Como são congruentes  (pela propriedade LLL),  temos

.      EF  =  AB  =  12

.      DE  =  BC  =  5

.      AC  =  DF  =  15

(Seja perseverante)