This GGB file allows students to see (firsthand) the actual definition of a hyperbola (i.e., set of all points in the plane, such that for any point, the difference of its distances from two fixed points is constant). The geometric argument as to why AH_1 - DH_1 is CONSTANT is made apparent to students through the diagram contained here.