Criteri di congruenza, triangoli isosceli ed equilateri

Nella figura, $AB\cong AC$, $BF\cong FC$, $E\hat{B}F\cong D\hat{C}F$.
Dimostra che:
a.   $EA\cong AD$;
b.   $E\hat{F}A\cong D\hat{F}A$.

a. Consideriamo i triangoli $AEC$ e $ABD$. In essi:
•   $AB\cong AC$ per ipotesi;
•   $A\hat{C}E\cong A\hat{B}D$ per ipotesi;
•   $\hat{A}$ è in comune;
quindi $AEC\cong ABD$ per il ________ criterio di congruenza dei triangoli.
In particolare, $AD\cong EA$.

b. Tracciamo il segmento $FA$ e consideriamo i triangoli $AFC$ e $AFB$. Essi hanno:
•   $AC\cong AB$ per ipotesi;
•   $CF\cong BF$ per ipotesi;
•   $A\hat{C}F\cong A\hat{D}E$ per ipotesi;
quindi $AFC\cong AFB$ per il primo criterio di congruenza dei triangoli.
In particolare, $C\hat{A}F\cong$ ________.

Consideriamo infine i triangoli $ADF$ e $AEF$. Essi hanno:
•   $AD\cong EA$ perché ________ di segmenti congruenti;
•   $AF$ è in comune;
•   $D\hat{A}F\cong E\hat{A}F$ per dimostrazione precedente;
quindi $ADF\cong AEF$ per il ________ criterio di congruenza dei triangoli.
In particolare, $E\hat{F}A\cong D\hat{F}A$.

Nel triangolo $ABC$ in figura $BP$ è bisettrice dell'angolo $A\hat{B}C$.
a.   Dimostra che $B\hat{P}Q\cong B\hat{P}C$.
b.   Preso un punto $R$ su $BP$, dimostra che $R\hat{Q}P\cong R\hat{C}P$.

Ipotesi:
$BC\cong$ ________;
________ $\cong P\hat{B}C$.

Tesi:
a.   $B\hat{P}Q\cong B\hat{P}C$;
b.   $R\hat{Q}P\cong R\hat{C}P$.

Dimostrazione
Consideriamo i triangoli $BPQ$ e $BPC$. Essi hanno:
•   $BP$ è in comune;
•   $BC\cong BQ$ per ipotesi;
•   $A\hat{B}P\cong P\hat{B}C$ ________
quindi $BPQ\cong BPC$ per il ________ criterio di congruenza fra triangoli.
In particolare $B\hat{P}Q\cong B\hat{P}C$ e $QP\cong PC$ perché elementi corrispondenti in triangoli congruenti.
Consideriamo i triangoli $RPQ$ e $RPC$. Essi hanno:
•   $RP$ è in comune;
•   $R\hat{P}Q\cong R\hat{P}C$ per dimostrazione precedente;
•   $QP\cong PC$ per dimostrazione precedente;
quindi $RPQ\cong RPC$ per il ________ criterio di congruenza dei triangoli.
In particolare $R\hat{Q}P\cong R\hat{C}P$.

Nei triangoli $ABC$ e $DEF$ è $AB\cong FD$ e $\hat{A}\cong \hat{F}$. In quale dei seguenti casi i triangoli potrebbero non essere congruenti.

Il triangolo $ABC$ è isoscele di base $AB$. Tenendo conto delle informazioni riportate in figura, dimostra che $DF\cong EG$.

Ipotesi:
$AC\cong BC$;
$CD\cong CE$;
$F\hat{D}E\cong G\hat{E}D$.
Tesi:
$DF\cong EG$.

Dimostrazione
Il triangolo $DCE$ è isoscele quindi per il teorema del triangolo isoscele si ha
$C\hat{D}E\cong$ ________.
Inoltre,
$A\hat{D}F\cong \pi -(C\hat{D}E+$ ________$)\cong$
$\pi -(C\hat{E}D+D\hat{E}G)\cong B\hat{E}G$.
Consideriamo i triangoli $ADF$ e $BEG$. Essi hanno:
•   $A\hat{D}F\cong B\hat{E}G$ per dimostrazione precedente;
•   $C\hat{A}B\cong C\hat{B}A$ per ________ del triangolo isoscele;
•   $AD\cong BE$ perché somma di segmenti congruenti;
quindi $ADF\cong BEG$ per il ________ criterio di congruenza dei triangoli.
In particolare, $DF\cong EG$.

In figura, $L$, $M$ e $N$ sono i punti medi dei lati del triangolo equilatero $ABC$.
Dimostra che il triangolo $LMN$ è equilatero.
$CL$ incontra $NM$ in $D$. Dimostra che $D$ è il punto medio di $NM$.

Ipotesi
$ABC$ triangolo equilatero;
$AN\cong NC$; $AL\cong LB$; $BM\cong CM$.

Tesi
$LMN$ triangolo equilatero
$ND\cong DM$

Dimostrazione
I triangoli $ANL$, $LMB$, ________ hanno:
$AL\cong$________$\cong$________perché metà di segmenti congruenti;
________$\cong BM\cong MC$ per lo stesso motivo;
$N\hat{A}L\cong L\hat{B}M\cong$________ perché angoli di un triangolo equilatero;
quindi sono congruenti per il ________ criterio.
In particolare, $NL\cong LM\cong NM$, quindi $LMN$ è un triangolo equilatero.

I triangoli $ALC$ e $BLC$ hanno:
• ________ perché $L$ è punto medio di $AB$;
• $AC\cong BC$ perché lati di triangolo equilatero;
• $C\hat{A}L\cong C\hat{B}L$ perché angoli di triangolo equilatero;
quindi sono congruenti per il ________ criterio.
In particolare, $A\hat{C}L\cong$________.

Nel triangolo $NCM$, isoscele perché $NC\cong CM$, in quanto metà di segmenti congruenti, $CD$ è allora ________ e quindi anche ________.
Allora $ND\cong DM$.