Trapezi ed assi

[Loara]

Own: Sia $ABCD$ un trapezio isoscele di basi $AB$ e $CD$, con $AB\geq CD$, e di lati $BC$ e $DA$. Costruiamo ora una circonferenza $\gamma$ con centro in $C$ e passante per $B$. Prendiamo ora un qualunque punto $E$ su $\gamma$ diverso da $B$. Sia $r$ l'asse delle due basi del trapezio. Definiamo ora il punto $F$ come l'intersezione di $r$ e della retta passante per $C$ ed $E$ (supponendo che tali rette si intersecano) e il punto $G$ come l'intersezione di $r$ con l'asse del segmento $AE$. Supponendo che sulla retta passante per $F$, $C$ ed $E$ il punto $C$ si trova compreso tra $F$ ed $E$, dimostrare che:
$$
AG+CF>CG+AF
$$
Dimostrare inoltre che il teorema è dimostrato anche per $AB<CD$.

[Loara]

Dato che ancora nessuno ha tentato di risolverlo, incominciamo a dare gli aiuti:

Indizio 1:

Testo nascosto:

Ovviamente $AG=BG$ e $AF=BF$. Ora, che significa affermare che $BG+CF>CG+BF$ ?

Indizio 2:

Testo nascosto:

Cosa succede se la disuguaglianza non è verificata? Si arriva ad un paradosso?