Trójkąty BGE i ECF są przystające. To samo tyczy się trójkątów AEF i AGE – te same katy i długości boków. Z tego wynika, że
.
Trójkąty BGE i ECF są przystające. To samo tyczy się trójkątów AEF i AGE – te same katy i długości boków. Z tego wynika, że
.