Tenemos textos ya del siglo XVIII (Francisco de Córdoba y Peralta, por ejemplo), que afirman que el Mulhacén es la cima más elevada de Sierra Nevada; con los medios que existían en la época, Simón de Rojas Clemente lo aseguró en 1804 y cientíticamente su pudo demostrar en 1879 cuando se realizó el enlace geodésico y astronómico entre Europa y África a través del Mulhacén y de la Tetica de Bacares. Desde entonces los ajustes han sido menores y meramente técnicos. Creo que podreis aclarar muchas de estas dudas en la cápsula 5 del módulo 5 titulada precisamente "Mulhacén" y cuyo video rodamos precisamente en la cumbre más alta de la península. Donde está enterrado y por eso lleva su nombre el penúltimo de los reyes nazarías ¿o no?