En este trabajo presentamos una moderna introducción a las formas modulares cuyo contexto de desarrollo es principalmente analítico. Esto último lo aprovechamos sobremanera para evidenciar la naturaleza aritmética de las formas modulares, la cual emplearemos para demostrar completamente la conjetura de Bachet y parcialmente la conjetura de Ramanujan.