Fold the vertex B of the square paper to a point E on the dotted line (perpendicular bisector of AB). Fold H to E, then K onto AF. Explore the special triangle obtained.
source: Unfolding Mathematics with Unit Origami, Activity 5
Arthur Lee, 21/4/2006, Created with GeoGebra