O presente estudo identificou, à luz da teoria de Vergnaud, os teoremas-em-ação que emergiram na resolução de problemas envolvendo o conceito de funções com ou sem a mediação do ambiente computacional Winplot. A pesquisa foi realizada em uma escola pública da rede estadual de Fortaleza com uma turma de 13 alunos do 1⁰ ano do Ensino Médio. Os dados constaram de entrevistas e observações conduzidas durante a resolução de problemas mediados por um módulo de atividades. Foram identificados teoremas-em-ação relativos à função linear f(x) = ax (a ≠ 0) e aos gráficos da função f(x) = ax+b. Os resultados obtidos indicaram que os alunos utilizam teoremas-em-ação que ajudam na compreensão do conceito de funções.