A comment on the equation $n!!=a_1!!\cdots a_t!!$

Dit artikel toont aan dat de expliciete abc-gissing impliceert dat de vergelijking $a_1!!\cdots a_t!!=n!!$ in bepaalde speciale gevallen slechts eindig veel niet-triviale oplossingen heeft.

De kern

Stel je voor dat wiskunde een enorme, eindeloze puzzel is. In dit artikel, geschreven door Saša Novaković (in een futuristische datum van april 2026!), wordt er gekeken naar een heel specifiek type puzzelstukjes: de dubbele faculteiten.

Om dit begrijpelijk te maken, laten we eerst kijken wat die "dubbele faculteit" eigenlijk is.

De "Dubbele Factor" als een Speciale Rekenmachine

Normaal gesproken ken je de gewone faculteit: $5! = 5 \times 4 \times 3 \times 2 \times 1$.
Maar de dubbele faculteit ($n!!$) is een beetje een eigenzinnige rekenmachine:

• Als het getal oneven is (bijv. 5), telt hij alleen de oneven getallen: $5!! = 5 \times 3 \times 1$.
• Als het getal even is (bijv. 6), telt hij alleen de even getallen: $6!! = 6 \times 4 \times 2$.

Het artikel onderzoekt een vergelijking die er zo uitziet:
$$a_1!! \times a_2!! \times \dots \times a_t!! = n!!$$

In het Nederlands: "Als ik een paar van deze speciale getallen met elkaar vermenigvuldig, krijg ik dan precies een ander speciaal getal?"

Het Grote Mysterie: Oneindig of Eindig?

Wiskundigen zijn al jarenlang op zoek naar het antwoord op deze vraag: Zijn er oneindig veel oplossingen, of slechts een eindig aantal?

• De "Triviale" Oplossingen (De Klonen):
  Soms is het antwoord heel saai en voor de hand liggend. Stel je voor dat je een toren bouwt van blokken. Als je één blok van de toren weghaalt, heb je nog steeds een toren. In de wiskunde zijn er situaties waar je gewoon $n$ kunt kiezen als $a_1$ plus een klein beetje. Dit levert oneindig veel oplossingen op, maar dat is niet interessant. Wiskundigen noemen dit "triviale oplossingen". Het is alsof je zegt: "Ik heb een auto, en ik heb ook een auto plus een fiets." Dat is waar, maar niet spannend.

• De "Niet-Triviale" Oplossingen (De Juweeltjes):
  Dit zijn de echte puzzels. Waar je verschillende, willekeurige getallen bij elkaar optelt en ze toevallig precies uitkomen op een ander getal. De vraag is: zijn er maar een paar van deze juweeltjes, of zijn er oneindig veel?

De "Magische Slang" (De abc-gissing)

Om dit probleem op te lossen, gebruikt de auteur een heel krachtig, maar nog niet bewezen, wiskundig gereedschap: de abc-gissing.

Stel je voor dat je drie getallen hebt die samen een vergelijking vormen ($a + b = c$). De abc-gissing zegt in het kort: "Als deze getallen geen gemeenschappelijke factoren hebben, dan kan het grootste getal ($c$) niet veel groter zijn dan het product van de unieke bouwstenen (de priemgetallen) waaruit de drie getallen bestaan."

In dit artikel gebruikt de auteur een expliciete versie van deze gissing. Je kunt dit zien als een magische slang die water (de getallen) door een heel smal buisje moet duwen. Als de getallen te groot worden, past ze niet meer door het buisje. De gissing zegt dus: "Er is een limiet. Als je te groot wordt, kan het niet kloppen."

Wat Ontdekt de Auteur?

Novaković kijkt naar twee specifieke scenario's:

1. Scenario A: Alle getallen zijn even.
   Hieronder is de "magische slang" (de abc-gissing) erg effectief. De auteur laat zien dat als je deze gissing accepteert, er maar een eindig aantal spannende oplossingen zijn. De getallen kunnen niet zomaar blijven groeien; ze worden ergens geblokkeerd. Het is alsof je een trap probeert te beklimmen die ergens ophoudt; je kunt niet oneindig hoog klimmen.

2. Scenario B: Het eerste getal is oneven, de rest is even.
   Dit is lastiger. Hier zijn er weer "triviale" oplossingen (oneindig veel), maar als we die uitsluiten, kijkt de auteur naar de "niet-triviale" gevallen.

   • Als de getallen in een bepaalde rij (die hij $\Delta$ noemt) geen priemgetallen bevatten, geldt weer: eindig veel oplossingen.
   • Als er wel priemgetallen in zitten, zijn er nog steeds regels. De auteur geeft een formule die zegt: "Als het eerste getal ($a_1$) niet te groot is ten opzichte van de lengte van de rij, dan zijn er maar een paar oplossingen."

De Conclusie in Eenvoudige Woorden

Het artikel is een bewijs dat, als we vertrouwen op de "magische slang" (de abc-gissing), deze specifieke wiskundige vergelijking niet oneindig veel mysterieuze oplossingen heeft.

• Er zijn oneindig veel saaie, voor de hand liggende oplossingen (de triviale).
• Maar de echte, interessante, verrassende oplossingen zijn beperkt. Er is een muur waar ze tegenaan lopen.

De auteur geeft ook toe dat dit bewijs alleen werkt voor specifieke gevallen (waar de meeste getallen even zijn). Als je de regels een beetje verandert (bijvoorbeeld als er meer oneven getallen tussen zitten), wordt het zo complex dat de "magische slang" niet meer genoeg druk heeft om het probleem op te lossen. Dat is voor de toekomstige wiskundigen om op te lossen!

Kortom: Het artikel zegt: "Met onze beste wiskundige schattingen kunnen we concluderen dat deze dubbele faculteit-puzzel niet oneindig veel verrassingen voor ons in petto heeft. De meeste oplossingen zijn saai, en de spannende zijn zeldzaam."

Technische samenvatting

Titel: Een commentaar op de vergelijking $n!! = a_1!! \cdots a_t!!$

Auteur: Saša Novaković
Datum: April 2026 (gepubliceerd op arXiv)

---

1. Probleemstelling en Context

Het artikel onderzoekt de Diophantische vergelijking:
$$\prod_{i=1}^t a_i!! = n!!$$
met de voorwaarden $n > a_1 \ge a_2 \ge \dots \ge a_t \ge 3$ en $t > 1$. Hierbij staat $m!!$ voor de dubbele faculteit van $m$:

• Als $m = 2l-1$ (oneven): $m!! = 1 \cdot 3 \cdot \dots \cdot (2l-1)$.
• Als $m = 2l$ (even): $m!! = 2 \cdot 4 \cdot \dots \cdot 2l$.

Achtergrond:
Er is een langdurig open probleem voor de standaard faculteiten ($\prod a_i! = n!$). Voor de dubbele faculteiten hebben Nair en Shorey [10] reeds bewezen dat als alle $a_i$ en $n$ oneven zijn, de vergelijking onder de aanname van de expliciete $abc$-vermoeden slechts eindig veel niet-triviale oplossingen heeft. Triviale oplossingen in dat geval worden gedefinieerd door $n - a_1 = 2$.

Het nieuwe probleem:
Novaković richt zich op het geval waarbij $a_2, \dots, a_t$ allemaal even zijn.

• Als $a_1$ ook even is, zijn er triviale oplossingen met $n - a_1 = 2$.
• Als $a_1$ oneven is en $a_2, \dots, a_t$ even, is er geen triviale oplossing met een vaste $n - a_1 = l$ voor grote $n$ (vanwege de aanwezigheid van grote priemfactoren in $a_1!!$ die niet in $n!!$ voorkomen). Echter, er bestaan wel andere triviale oplossingen (waarbij $n$ wordt gedefinieerd als het product van de andere termen).

Het doel is om te bewijzen dat er onder de expliciete $abc$-vermoeden slechts eindig veel niet-triviale oplossingen bestaan voor deze specifieke configuraties.

---

2. Methodologie

De auteur hanteert een analytische benadering die steunt op de expliciete $abc$-vermoeden van Baker (zoals geformuleerd door Laishram en Shorey).

Kerncomponenten van de methode:

1. Expliciete $abc$-vermoeden:
   Voor coprieme gehele getallen $a, b, c$ met $a+b=c$ geldt:
   $$c < N(abc)^{7/4}$$
   waarbij $N(k)$ het product is van de verschillende priemfactoren van $k$ (de algebraïsche wortel).

2. Omzetting naar product van opeenvolgende gehele getallen:
   De vergelijking wordt herschreven in termen van het product $\Delta(x, k) = x(x+1)\cdots(x+k-1)$.

   • Voor het geval $a_1$ even is, wordt de vergelijking omgezet naar een relatie die $\Delta(m, k)$ bevat.
   • Voor het geval $a_1$ oneven is, wordt de vergelijking omgezet naar een relatie die $\Delta(x_1, l_1)$ en $\Delta(x_2, l_2)$ bevat.

3. Priemfactorenanalyse:

   • Gebruik van stellingen van Erdős over de grootste priemfactor $P(\Delta(x, k))$ van een product van opeenvolgende samengestelde getallen.
   • Gebruik van schattingen voor de som van logaritmen van priemgetallen (Chebyshev-functies $\theta(\nu)$).
   • Toepassing van de $abc$-ongelijkheid op twee termen uit het product $\Delta(x, k)$ om een bovengrens te vinden voor de grootte van de variabelen.

4. Behandeling van Triviale Oplossingen:
   De auteur definieert zorgvuldig wat een "triviale oplossing" is in de context van even en oneven $a_i$, en sluit deze uit om zich te richten op de niet-triviale gevallen.

---

3. Belangrijkste Resultaten

De paper presenteert twee hoofdstellingen die de eindigheid van niet-triviale oplossingen garanderen onder de expliciete $abc$-vermoeden.

Stelling 1.1 (Geval: $a_1$ even)

Als $r=0$ (d.w.z. alle $a_i$ zijn even), dan heeft vergelijking (1) slechts eindig veel niet-triviale oplossingen.

• Bewijsidee: De auteur toont aan dat $a_2$ (en daarmee alle andere variabelen) begrensd moet zijn. Door de $abc$-ongelijkheid toe te passen op de kleinste priemradicalen in het product $\Delta(m, k)$, wordt een contradictie afgeleid als $a_2$ onbegrensd zou groeien.

Stelling 1.2 (Geval: $a_1$ oneven, $a_2, \dots, a_t$ even)

Als $a_1$ oneven is en de rest even, gelden de volgende resultaten:

1. Geval (i): Als het product $\Delta(x_1, l_1)$ geen priemgetallen bevat, impliceert de expliciete $abc$-vermoeden dat er eindig veel niet-triviale oplossingen zijn.
2. Geval (ii): Als $\Delta(x_1, l_1)$ wel priemgetallen bevat:
   • Als $x_1 > 4l_1$, dan zijn er eindig veel oplossingen.
   • Als $x_1 \le 4l_1$, dan geldt een expliciete bovengrens voor $a_1$:
     $$0.99 a_1 \le 4l_1 + 4.01 + \frac{2\log(5)}{\log(2)} + \frac{2\log(l_1)}{\log(2)}$$
     Dit betekent dat $a_1$ begrensd is zolang $l_1$ begrensd is.

---

4. Technische Details en Bewijsstructuur

• Bewijs van Stelling 1.1:
  De auteur gebruikt de ongelijkheid $k \cdot \log(m) \le c_1 \cdot a_2$ (afgeleid uit de $abc$-vermoeden) en combineert deze met de schatting $a_2 \cdot \log(a_2) - a_2 \le k \cdot \log(4m)$ (uit Stirling's benadering en de structuur van de dubbele faculteit). Dit leidt tot $\log(a_2) \le c_3$, wat betekent dat $a_2$ begrensd is.

• Bewijs van Stelling 1.2:
  Het bewijs volgt een vergelijkbare lijn als Stelling 1.1, maar moet rekening houden met de oneven $a_1$.

  • Voor deel (i) wordt aangetoond dat als er geen priemen in $\Delta(x_1, l_1)$ zitten, $a_1$ begrensd is.
  • Voor deel (ii) wordt de macht van 2 aan beide kanten van de vergelijking vergeleken. De macht van 2 in $(a_1+1)!$ wordt afgeschat als $\approx 0.99(a_1+1)$. De macht van 2 in het product aan de linkerkant wordt afgeschat via logaritmische termen.
  • Door Teorema 2.4 (over de grootste priemfactor van producten van opeenvolgende getallen) te combineren met de $abc$-ongelijkheid, wordt bewezen dat voor grote waarden van $x_1$ en $l_1$ de vergelijking niet kan gelden, tenzij in een eindige verzameling van uitzonderingen (de verzameling $T$ uit Teorema 2.4).

---

5. Betekenis en Conclusie

• Verrijking van de Literatuur: Dit werk vult een gat in de bestaande literatuur over Diophantische vergelijkingen met dubbele faculteiten. Waar eerdere werken zich richtten op het geval dat alle termen oneven zijn, behandelt dit artikel systematisch het geval met even termen.
• Rol van de $abc$-vermoeden: Het artikel demonstreert opnieuw hoe krachtig de expliciete $abc$-vermoeden is in het bewijzen van de eindigheid van oplossingen voor complexe exponentiële vergelijkingen, zelfs wanneer de klassieke $abc$-vermoeden niet voldoende is voor expliciete grenzen.
• Beperkingen: De auteur merkt op dat de gebruikte methoden waarschijnlijk niet direct toepasbaar zijn voor het geval $2 \le r \le t-2$ (waarbij er meerdere oneven termen zijn, maar niet allemaal), omdat het dan moeilijk wordt om de grootste priemfactor van het product $\Delta(m, k)$ te controleren wanneer de termen niet allemaal samengesteld zijn.

Conclusie:
Novaković bewijst dat voor de vergelijking $n!! = \prod a_i!!$ met even $a_2, \dots, a_t$, de verzameling van niet-triviale oplossingen onder de expliciete $abc$-vermoeden eindig is. Dit versterkt het vermoeden dat dergelijke vergelijkingen in het algemeen slechts een zeer klein aantal oplossingen hebben.