Lazare Carnot
The theorem is named after Lazare Carnot (1753–1823). It is used in a proof of the Japanese theorem for concyclic polygons.