Lens

Conxectura e contraexemplo: historia de dúas fervenzas

Low tide on the ría near Argalo, Noia, with the sun reflected on wet mud flats

Enunciado. A Fervenza de Argalo, preto de Noia (A Coruña), é unha fervenza duns sete metros no regato de Vilaboa, que se ve mellor tras varios días de chuvia, nun camiño sen sinalizar. Fomos en maio de 2026 e non a atopamos. Poucos días despois, en Coentral das Barreiras (Serra da Lousã, Portugal), foi unha fervenza a que nos atopou.

As matemáticas teñen unha asimetría moi inxusta. Para demostrar que algo é sempre certo, precisas un argumento que cubra todos os casos. Para demostrar que é falso, abonda cun exemplo. Un. Esta primavera puxemos a idea a proba con dúas fervenzas.

Onde está a Fervenza de Argalo e por que custa atopala?

Segundo Turismo de Galicia, a Fervenza de Argalo está no regato de Vilaboa, na parroquia de Argalo (Noia). Cuns sete metros, é a fervenza máis alta do concello. O camiño non está sinalizado e o recomendable é ir despois de varios días de chuvia.

Ignoramos os dous avisos e seguimos a intuición, que é o equivalente científico de fiarse dunha demostración porque queda bonita. Non atopamos a fervenza. Atopamos o cemiterio parroquial, onde a igrexa está orientada ao revés que a maioría: a ábsida ao oeste e a porta ao leste. Polo menos non eramos os únicos que apuntaban nunha dirección inesperada.

Marea baixa na ría preto de Argalo, co sol reflectido nos baixos de lama e montes verdes ao fondo
Premio de consolación. Sen fervenza, pero con auga de abondo: a ría en marea baixa, facendo o seu número de desaparición dúas veces ao día.

Así que, para nós, a fervenza de Argalo segue a ser unha conxectura: unha afirmación que cremos, con fontes fiables, pero que non comprobamos. É un status respectable. O último teorema de Fermat pasou 358 anos aí, desde unha nota na marxe cara a 1637 ata que se publicou a demostración de Andrew Wiles en 1995. O que si atopamos está na demostración de Argalo.

O contraexemplo: unha fervenza na Serra da Lousã

Poucos días despois, en Coentral das Barreiras, unha aldea a uns 725 metros na vertente sur da Serra da Lousã (Castanheira de Pera), a auga apareceu sen máis: unha pequena fervenza sobre unha presa de pedra con musgo que cae a unha poza transparente, con fentos a ambos os lados e cabaliños do demo patrullando o aire. Sen buscar. Ás veces o universo dáche a resposta e finxe que era doado. Está todo na demostración de Coentral das Barreiras.

Regato de montaña visto entre troncos de carballo e piñeiro na Serra da Lousã, cunha marca de sendeiro vermella e amarela pintada nunha árbore
Segue as marcas. Franxas vermella e amarela: o sinal portugués de sendeiro de pequeno percorrido. Unha hipótese pintada de que segues no bo camiño.

En sentido estrito, unha fervenza en Portugal non demostra nada sobre outra en Galicia. A lóxica non ten piedade coas ilusións. Pero si refuta unha conxectura que empezabamos a crer despois de Argalo: que as fervenzas son un mito inventado polas oficinas de turismo.

Por que abonda cun contraexemplo

En 1769, Leonhard Euler conxecturou que fan falla polo menos n potencias n-ésimas para que a súa suma sexa outra potencia n-ésima. A conxectura sobreviviu case dous séculos. En 1966, Lander e Parkin fixeron unha busca por ordenador e atoparon 27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵: catro potencias quintas que suman outra potencia quinta. Unha liña, e a conxectura de Euler desapareceu.

O noso contraexemplo é menos elegante, pero ten fentos.

Corolario: consellos prácticos

  • Fervenza de Argalo: vai despois de varios días de chuvia e leva a ruta cargada no móbil antes de saír. Non hai sinais, e a intuición non é un GPS.
  • Coentral das Barreiras: os vales arredor da aldea están cheos de regatos e pequenas fervenzas. As estradas de montaña son estreitas e adoita haber néboa, así que conduce amodo.
  • Regra xeral: unha conxectura que non comprobaches non é falsa. Só está á espera da chuvia.

Volveremos a Argalo tras unha semana de chuvia. Se atopamos a fervenza, este artigo actualizarase e a conxectura pasará a ser teorema.

Preguntas frecuentes

Que altura ten a Fervenza de Argalo?

Uns sete metros. Segundo Turismo de Galicia, é a fervenza máis alta do concello de Noia (A Coruña), no regato de Vilaboa.

Cando é mellor ver a Fervenza de Argalo?

Despois de varios días de chuvia, cando o regato de Vilaboa leva auga abonda. En épocas secas a fervenza pode ser moito máis feble.

Está sinalizado o camiño á Fervenza de Argalo?

Non. O camiño non está sinalizado, así que convén descargar a ruta antes de ir.

Hai fervenzas preto de Coentral das Barreiras, na Serra da Lousã?

Si. Os regatos arredor da aldea forman pequenas fervenzas e pozas transparentes, accesibles por sendeiros marcados con franxas vermella e amarela.

Quod erat capturandum.