Круговая частота маятника: Математическое описание