This functionality is only active if you sign-in with your Google account.
The axiom that a tangent and a radius at the point of contact are always perpendicular is discussed and then this is used to prove that tangent from the same point are equal in length.
