Historically, Crofton derived his formula later than, and independently of, Barbier's theorem.
Din punct de vedere istoric, Crofton a definit formula mai târziu, și independent de teorema lui  Barbier.