Fue a finales del siglo XVII cuando la notación algebraica moderna, aunada a la notación moderna de las funciones trigonométricas introducida por Euler en su libro "Introductio in analysin infinitorum", permitieron escribir el teorema bajo su forma actual, extendiéndose el nombre de teorema (o ley) del coseno.