Ciao,
Il teorema di Carnot, non è quello del coseno, è quello di Lazare Carnot sui triangoli.
Io ho trovato il teorema giapponese non avendo trovato la soluzione al problema di RM.
Non so se sia corretto passare a mail private, volevo chiederti di più riguardo alla dimostrazione che citi.
Ciao,
Marmi