If AB be the diameter of a semicircle, and CD, CE the tangents to it from any point C, and if AE, BD be joined meeting in F, then CF is perpendicular to AB.