Lemma: $GI \parallel BC \Longleftrightarrow |AB|+|AC| = 2\cdot|BC|$
İspat:a) $GI \parallel BC$ olsun.
$A$ köşesinden çıkan açıortay ve kenarortay ayakları sırasıyla $E$ ve $F$ olsun. $|AG|=2\cdot|GF|$ olduğu bilinen bir özelliktir.
Thales Benzerliği gereği $|AI|=2\cdot|IE|$ olur. O halde
Açıortay Teoremi gereği $|BA|=2\cdot|BE|$ ve $|CA|=2\cdot|CE|$ dir. Bu iki eşitlik taraf tarafa toplanırsa $|AB|+|AC| = 2\cdot|BC|$ eşitliği elde edilir.
b) $|AB|+|AC| = 2\cdot|BC|$ olsun.
$A$ köşesinden çıkan açıortay ve kenarortay ayakları sırasıyla $E$ ve $F$ olsun.
Açıortay Teoremi gereği $\dfrac{|BA|}{|BE|}=\dfrac{|AI|}{|IE|}=\dfrac{|CA|}{|CE|}$ . $|AB|=2x, |AC|=2y, |BC|=x+y$ dersek, bu oranın sağlanması için $|BE|=x, |CE|=y$ olması gerekir. Dolayısıyla $\dfrac{|BA|}{|BE|}=\dfrac{|AI|}{|IE|}=2$ bulunur. $\dfrac{|AG|}{|GF|}=2$ olduğunu da bildiğimizden
Thales Benzerliği gereği $GI \parallel BC$ olduğu bulunur.

Soruya dönelim. $ABDC$ kirişler dörtgeninde $AD$ açıortay olduğundan $[DB]$ ve $[DC]$ aynı açıyı gören kirişlerdir, dolayısıyla $|DB|=|DC|$ dir. O halde $|AD|=|DB|+|DC|=2\cdot|DB|$ dir.
Öte yandan, $ABDC$ kirişler dörtgeninde
Batlamyus Teoremi gereği $|DB|\cdot|AC|+|DC|\cdot|AB|=|AD|\cdot|BC| \Longrightarrow |DB|\cdot\left(|AC|+|AB|\right) = 2\cdot|DB|\cdot|BC| \Longrightarrow |AB|+|AC| = 2\cdot|BC|$ dir ki, bu eşitlik $GI \parallel BC$ olduğunu gösterir.