Carattere nell’ambiente verbatim

`
{small
\begin{verbatim}
…
\end{verbatim}
}% su una nuova riga
`

salve a tutti, scusate se vi riempio il forum di domande ma questa spero possa essere l’ultima.

Io ho impostato il testo del documento a 11pt, però vorrei che il testo interno all’ambiente verbatim sia di 10pt. Come posso fare ciò? immagino di dover definire un ambiente personalizzato, ma non saprei bene come fare a farlo diventare come voglio

Puoi usare il pacchetto fancyvrb, che permette varie impostazioni. Se ti accontenti dell’ambiente verbatim, metti la seguente formula magica nel preambolo:
`\makeatletter
\g@addto@macro\@verbatim\small
\makeatother`
Per propiziare la magia, andrebbe scritto solo dopo aver tracciato un ettagono, costruito con riga e compasso, attorno al computer. 🙂

Ciao
Enrico

ma quindi small equivale a 10pt?

Se il corpo principale è 11, \small sceglie il corpo 10. Eviterei comandi di scelta esplicita del corpo, non sarebbero più adatti se decidessi di cambiare il corpo principale.

Ciao
Enrico

@ Enrico

Io ero bravissimo in educazione tecnica: i poligoni con lati dispari erano la mia specialità! 8)

Sono capace di farlo.

Ciao
Tommaso

@ Enrico

Io ero bravissimo in educazione tecnica: i poligoni con lati dispari erano la mia specialità! 8)

Sono capace di farlo.

Io dico di no. Il polinomio minimo di cos(pi/7) sui razionali ha, come si può facilmente verificare, grado 3. Dunque cos(pi/7) non è costruibile con riga e compasso e di conseguenza l’ettagono regolare non è costruibile con riga e compasso (Wantzel, 1837).

Si parte da x^6+x^5+x^4+x^3+x^2+x+1 di cui z=cos(2pi/7)+i sin(2pi/7) è ovviamente una radice; allora, raccogliendo z^3 si ottiene

(z+1/z)^3 – 3(z+1/z) + (z+1/z)^2 – 2 + (z+1/z) + 1 = 0

(si usano le formule di Waring). Si ponga t = z+1/z = cos(pi/7). Allora

t^3 + t^2 – 2t – 1 = 0

e il polinomio x^3 + x^2 – 2x – 1 è irriducibile sui razionali, quindi è il polinomio minimo di t.

NB: dovevo rilassarmi dopo i 35 minuti di ritardo del malefico Eurostar Cesso; pardon, Eurostar City.

Ciao
Enrico

Da fisico dico che, se si usa un pennarello con la punta abbastanza grossa, si può ottenere comunque un ottimo risultato… 😉

LuCa

[OT]

@ Enrico: volevo vedere se eri attento.

@ LuCa: avanzi una birra 😉

Ciao
Tommaso

[OT]