Доказательство теоремы Птолемея с использованием свойств вписанных в окружность углов, следствия из этого - наличия двух пар подобных треугольников, подобие которых легко доказывается. В доказательстве также использована теорема Стюарта