Приведение алгоритма доказательства теоремы Грасгофа. Определение необходимых условий проворачиваемости шарнирного четырехзвенника, полученных как необходимые и достаточные условия непрерывности на множестве вещественных чисел тригонометрических функций.