Due formule matematiche

Oggi mi limito a mostrarvi due formule matematiche, la prima con una dimostrazione grafica e la seconda che dovete accettare in maniera fideistica (non ho mica voglia di fare i conti!)

il grafico di log x/x

Senza calcolatrice, sapreste dire se è più grande e^π oppure π^e? Il trucco, come mostrato da The Math Flow, consiste nel considerare la funzione $\frac{\ln(x)}{x}$. La sua derivata è $\frac{1-\ln(x)}{x^2}$, che si annulla solo per $x = e$. Prendendo i punti di ascissa $e$ e $\pi$ sul grafico della funzione, abbiamo pertanto che $\frac{1}{e} > \frac{\ln(\pi)}{\pi}$; moltiplicando per $\pi$, abbiamo $\frac{\pi}{e} > \ln(\pi)$; prendendo l’antilogaritmo otteniamo $e^{\pi/e} > \pi$; elevando infine alla potenza $e$ ricaviamo $e^pi > \pi^e$.

il lato di un ettadecagono regolare

Passiamo ora al primo grande risultato trovato da Gauss: la costruzione di un nuovo poligono regolare di riga e compasso, oltre a quelli già noti ai greci. Per la precisione Gauss ha trovato tutti i possibili poligoni costruibili, che hanno un numero di lati che una volta fattorizzato risulta essere una potenza di due per un prodotto di primi di Fermat. I primi di Fermat che conosciamo sono solo 3, 5, 17, 257 e 65537; triangolo e pentagono li conoscevamo, il 257-gono e il 65537-gono non sono disegnabili in pratica, e quindi resta l’eptadecagono. La formula presentata da Fermat’s Library è quella che dà il lato di un eptadecagono inscritto in un cerchio di raggio unitario:

$$\begin{align}
&\cos \left( \frac{2\pi}{17} \right) = \frac{-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}}{16} + \\& + \frac{2\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}}}{16}
\end{align}$$

Questo numero è chiaramente (…) costruibile con riga e compasso, perché si ottiene usando solo addizioni, moltiplicazioni ed estrazione di radice quadrata: ma vi voglio vedere ad ottenere una costruzione geometrica esplicita. Non ho idea di come Gauss sia arrivato a scoprire questa costruzione. Una cosa è però certa: Gauss è riuscito a trasformare un problema apparentemente geometrico in uno algebrico, e ha così mostrato come cambiare punto di vista può portare a risultati entusiasmanti!

2 pensieri su “Due formule matematiche

  1. LightKnight

    Qualche giorno fa sono capitato su questo libro:
    https://link.springer.com/book/10.1007/978-3-031-13566-8
    Mordechai Ben-Ari, “Mathematical Surprises”, Springer Open Access (quindi liberamente scaricabile)

    Il libro mi pare interessante in generale e fra le varie curiosità parla, nel capitolo 16, proprio della formula di Gauss per l’eptadecagono, presentando anche una costruzione esplicita.

    Nota a margine: il libro ha anche un archivio git ufficiale con alcune traduzioni:
    https://github.com/motib/surprises

    Chissà che qualche pazzo non voglia tradurlo in italiano…

    Rispondi
    1. .mau. Autore articolo

      Una costruzione esplicita è abbastanza semplice, una volta che tu hai la formula a disposizione. I “numeri euclidei”, quelli che si possono calcolare con riga e compasso, sono ottenuti con le quattro operazioni e l’estrazione di radice quadrata. Sommare e sottrarre geometricamente due numeri è facile, moltiplicarli e calcolare l’inverso lo si fa con il teorema di Talete, per la radice quadrata di x si costruisce la semicirconferenza di diametro x+1 e si tira su la perpendicolare dal punto dove si uniscono i due segmenti.

      Per la traduzione del libro, la vedo dura, chi sa matematica di solito si accontenta del testo in inglese e chi non la sa non riuscirebbe a tradurlo.

      Rispondi

Rispondi

Questo sito utilizza Akismet per ridurre lo spam. Scopri come vengono elaborati i dati derivati dai commenti.