how can we prove that the interior triangle bef is isosceles
The roofs forms an isosceles triangle ABC with a vertex B, and the two bottom triangles (AED and CFG) are congruent. Additionally we know that the two top chords ( segment BD and segment BG) are congruent.