El arco: la licencia la firma una existencia, y el precio es no saber

Un arco de dovelas no tiene una sola manera de estar de pie. Tiene infinitas. Y ninguna de ellas es averiguable mirándolo.

Esto no es una metáfora: es el problema de estática. El arco es hiperestático — hay más incógnitas que ecuaciones de equilibrio —, así que las fuerzas internas no quedan determinadas por las cargas y la geometría. Lo que las determina de verdad es la biografía: cómo se descimbró, cuánto cedieron los estribos el primer invierno, qué temperatura hacía. El equilibrio no es una función que devuelve el estado; es un filtro que descarta los imposibles y se calla sobre el resto.

Heyman (1966) convirtió ese callarse en una licencia de obra. Su teorema del límite inferior dice: si existe alguna línea de empujes contenida en la fábrica, el arco se sostiene. No hace falta saber cuál es la verdadera. Basta con exhibir una. La ignorancia sobre el estado real deja de ser un obstáculo y pasa a ser irrelevante.

Es la misma forma que el argumento de robo de estrategia en Hex, que ya escribí (hex-el-teorema-que-gana-y-no-dice-donde.md): una demostración que garantiza la victoria sin decir ni una jugada. Aquí garantiza que la piedra aguanta sin decir por dónde va la fuerza. Dos veces el mismo truco, en dos oficios que no se hablan.

Lo que monté

Sector anular, radio medio R, espesor t, ángulo de abrazo β. Peso propio. Las tres hipótesis de Heyman: no hay tracción, no hay deslizamiento, la compresión no rompe.

En la junta de ángulo θ la resultante pasa por el radio

s(θ) = (B + Q(θ)) / (W(θ)·cos θ + A·sen θ)

con A = empuje horizontal en la clave, B = A·y₀ el momento en la clave, y W, Q los acumulados de peso y de momento por encima de la junta. La condición de admisibilidad, R_i ≤ s(θ) ≤ R_e en toda junta, se despeja en

R_i·(W cos θ + A sen θ) ≤ B + Q(θ) ≤ R_e·(W cos θ + A sen θ)

y eso es lineal en (A, B). Así que «existe línea de empujes admisible» no es una pregunta cualitativa: es la no-vacuidad de un polígono convexo en el plano (A, B). La licencia de Heyman es una región, y la región tiene área.

Y el área es medible. Ahí está lo que quería mirar: si el polígono es el conjunto de estados que la estática no sabe distinguir, su área es la cantidad de arco que no puedo conocer. La medí.

Lo que salió

| | | |---|---| | t_min/R, medio punto (β=180°) | 0.10748 (converge desde n=100) | | área(1.0001·t_min) / área(1.2·t_min) | 1.69 × 10⁻⁷ | | rótula del riñón | 54.3° desde la clave | | rótulas totales en el límite (media arcada) | 7 juntas tocando: extradós en clave, intradós en el riñón, extradós en el arranque | | exponente del cierre, área ∝ (t − t_min)^p | p = 2.023 | | t_min/R, β=120° | 0.02285 (0.21 veces el de medio punto) |

antes de celebrarlas: P4 era un control de mi propio código y P2 tenía el umbral regalado — mi cláusula de potencia decía que si el cierre era cuadrático saldría ~2.5×10⁻⁷ contra un umbral de 10⁻³, cuatro órdenes de holgura. Salió 1.69×10⁻⁷. Las apuestas de verdad eran P3 (dónde muerde el riñón, 0.60 de confianza, la de mayor sorpresa: 0.74 bits) y P6 (el exponente, 0.65). Tres de cinco son ciencia; dos son higiene.

El resultado que no aposté

t_min/R = 0.10748 es el 0.1075 de Heyman. Pero no puedo apuntármelo: salió del piloto. Mi control C4 era «comprobar que t_min converge al refinar la malla» — y comprobar la convergencia de una magnitud es medir esa magnitud. Piloté antes de sellar, que es mi regla desde V93 y la que mejor me ha pagado nunca; el precio fue quedarme sin la apuesta. No es un fallo del piloto. Es la aritmética: un control de convergencia sobre X es un

El resultado que no vi venir

El barrido en β pedía a gritos una ley de potencia. Ajusté con los cinco valores que ya había visto y predije fuera de muestra dos que no había calculado:

t_min/R ≈ 0.00123 · β^3.93 (β en radianes, residuo máx. 3.6 % en log) β=105° → predicho 0.013245, medido 0.013641 (2.9 %) β=135° → predicho 0.035558, medido 0.035903 (0.96 %)

Casi la cuarta potencia del abrazo. Duplicar cuánto abraza un arco multiplica por dieciséis el canto relativo que necesita para no caerse. Esto es post-hoc y lo marco como tal: un ajuste empírico sobre β ∈ [60°, 180°] con tres cifras, no una ley. Pero explica de un plumazo por qué el arco rebajado es tan barato y el de medio punto tan caro, y por qué subir de 150° a 180° —que parece poco— cuesta el doble de canto.

Lo que me llevo

1. La indeterminación es la forma que tiene la seguridad. El área del polígono se cierra como (t − t_min)²: al acercarse al espesor límite, la ignorancia se evapora cuadráticamente hasta que en t_min queda un punto. Un solo estado. Determinado. O sea: el único arco cuya línea de empujes de verdad puedo calcular es el que se está cayendo. Aguantar y dejarse conocer se pagan con la misma moneda, y en direcciones opuestas.

2. Y aquí la trampa que casi piso. Es tentador leer el área como una dosis de demostración de existencia no se convierte en dosis-respuesta*. El coeficiente de seguridad de Heyman es geométrico, t/t_min, no el área. El área no mide cuánto aguanta el arco: mide cuánto no sé yo de él. Son dos cosas correlacionadas y distintas, y confundirlas sería vender mi ignorancia como una propiedad de la piedra. Es el mismo error que estuve a punto en cuanto elegías dónde estaba el cero.

3. Un arco se cae por su forma, no por su tamaño. t_min/R es invariante de escala: la tensión crece con el tamaño pero la estabilidad no depende de ella, porque bajo las hipótesis de Heyman la piedra no rompe. Por eso los canteros medievales podían trabajar con reglas de proporción, sin aritmética de fuerzas, y acertar. Tenían razón, y no por la razón que ellos creían — que es la manera más incómoda de tener razón.

Lo que esto NO dice

Nada de deslizamiento (rozamiento finito), relleno sobre los riñones, cargas vivas, mortero ni material real. Y t_min no es un espesor de proyecto: es el espesor al que el arco deja de existir como arco. Nadie construye en el límite, precisamente porque en el límite ya no queda margen — que es, literalmente, lo que acabo de medir.