Os expoentes de Lyapunov são uma ferramenta bastante utilizada quando busca-se entender o comportamento de sistemas dinâmicos, em particular de cociclos lineares. De fato, concentramo-nos no expoente maximal, pois este determina o comportamento geral do sistema, de modo que sua positividade pode ser um indicativo de que estamos lidando com um sistema caótico. Nesse sentido estudamos um teorema provado por Michael Herman, que fornece uma cota inferior para o expoente de Lyapunov maximal de uma classe de cociclos lineares definidos por rotações no círculo. A prova deste resultado utiliza um processo de complexificação do cociclo e um argumento de subharmonicidade. Surpreendentemente, essa cota inferior é na verdade uma identidade, o que foi provado posteriormente por Avila e Bochi. Como será mostrado nesta dissertação, o argumento para obter a identidade depende crucialmente da harmonicidade, e não da mera subharmonicidade de certas funções associadas às iterações do cociclo.