Let AB be the diameter of a semicircle, and let the tangents to it at B and at any other point D on it meet in C. If now DE be drawn perpendicular to AB, and if AC, DE meet in F, then DF = FE.