Como te dice Kane, si las cinchas no llevan dinamometro (que eso es lo que SÍ se hace cuando se mide un barco), las formulas esas no son de aplicación.
Cuando se mide un barco para regatas el medidor no se fia de la medida que da las celulas de carga del travelift, y pone él sus dinamometros calibrados
, y como los pone en las cinchas, estas miden tambien la componente horizontal de tension de los cables, componente horizontal que no arroja luz al peso del barco (ya quue el peso del barco solo es componente vertical). Por eso hay que aplicar esa formulas para "quitarle" esa componente horizontal a la medida del dinamometro intercalado entre los cables y la cincha
En mi opinion, la medida que te dio el operario es la del peso de tu barco, aunque tambien comparto la opinion de Werke de que parece que hay algun valor erroneo de las celulas de carga del travelift