When the vertices of a square are joined to the midpoints of the nonadjacent sides -- eight lines in all, a starry shape is formed in which one may discern the famous 3:4:5 triangle, known as the Egyptian or the rope stretchers triangle.
Thus the diagram provides an elegant way to form this triangle by paper folding.
In fact there are thirty two such triangles, eight of each type BFA, GFE, CDE, and HDA. A proof without words makes the assertion obvious for ΔBFA. The other triangles are clearly similar to the latter.