Efectivamente, Super.
La formula trigonometrica nos da un resultado, "el horizonte verdadero". Cuando nosotros miramos al mar, vemos una linea imaginaria donde creemos que el cielo y la tierra se junta, "horizonte visible". Cuando los marinos quieren hacer calculos fiables, le hacen una serie de correcciones, por algunos de los motivos que tu formulas. Por ejemplo, nuestra vista no es 100% fiable, sufre una pequeña curvatura, la temperatura del aire de la atmosfera produce distorsiones, etc. pero todo eso se corrige con las tablas nauticas.
Pero lo que está claro es que nuestra distancia de visión es muy limitada.
Un saludo a todos. Jose Angel