Prove that the lengths of tangents drawn from an external point to a circle are equal. Using the above, prove the following:
A quadrilateral ABCD is drawn to circumscribe a circle. Prove that AB + CD = AD + BC