The document proves that the alternate segment theorem, which states that any angle in an alternate segment of a circle is equal to an angle formed by the tangent and chord at the point of contact. It does this by joining a radius to the point of contact P to form two right angles, and using angle properties such as angle sums in triangles to show that the two angles in question are equal.