Monthly Archives: July 2017

HOWTO: Cambiare il font in GeoGebra

Una delle cose più fastidiose di GeoGebra è che le etichette degli oggetti sono sempre scritte troppo in piccolo. Per ovviare a questo problema ci sono due possibilità. La prima è aumentare la dimensione di tutti i font da Options → Font Size, e poi ridurre quella del test da Options → Advanced → Font Size. La seconda è mettere come caption del simbolo la stringa

$ \scalebox{4} %n $

dove “4” è la dimensione relativa del carattere rispetto al default. Non dimenticate i dollari 🙂

Se invece si vuole disegnare solo una parte di una curva c(x) tra a e b, si può scrivere nella riga di input

If[a

[VARIE] Sei anni

(post pubblicato originariamente su Il Tamburo Riparato per il compleanno del blog)

– “SONO PASSATI GIÀ SEI ANNI?”
– “Sì, almeno secondo il calendario di Roundworld”.
– “E COM’È CHE NON SONO MAI STATO INVITATO AI COMPLEANNI DEL BLOG?”
– “Sa com’è, con le regolamentazioni attuali quella sua falce non può essere portata come bagaglio a mano”.
– “MA LA FALCE PUÒ ESSERE VISTA SOLO DAI MORTI!”
– “E da maghi e streghe. Secondo lei, come fanno a far volare gli aerei?”
– “ME LO SONO SEMPRE CHIESTO. E QUINDI, COME FACCIO A FARE GLI AUGURI? AVEVO ANCHE PREPARATO UN PICCOLO PRESENTE.”
– “Guardi, quello che conta è il pensiero.”

Buon compleanno, Tamburo!
(sapete, anche i matematti sono un po’ maghi e quindi possono parlare con la Morte e restare vivi)

WP Twitter Auto Publish Powered By : XYZScripts.com
(i miei cookie)