Teorema di Haga

Da testwiki.
Vai alla navigazione Vai alla ricerca

Template:F Il teorema di Haga è un teorema riguardante la matematica degli origami, che studia come questi possono essere usati per arrivare alla soluzione di un problema matematico o geometrico.

Costruzione del Teorema di Haga

Il teorema

Il teorema di Haga è stato enunciato dal matematico Kazuo Haga. Esso afferma che

"Se sul lato AB di un foglio quadrato ABCD si fissa un segmento AE tale che il suo rapporto col lato del quadrato sia x, allora portando il vertice D in E mediante la piega FG, il lato CD interseca BG nel punto H tale che:
BH=2x(x+1).
Quindi, portando B a sovrapporsi su H, si divide a metà BH ottenendo così:
12BH=x(x+1)."

Esempi

  • Se E è il punto medio di AB, allora
x=12,BH=23,12BH=13.
  • Se E divide AB in quattro parti, allora
x=14,BH=25,12BH=15.
  • Se AB=10 e AE=3 parti, allora
x=310,BH=613,12BH=313.
  • In genere se x=AEAB=nm, allora
BH=2nn+m,12BH=nn+m.

Dimostrazione

I triangoli AEF e EBH sono simili (per il primo criterio di similitudine, avendo due angoli uguali) e quindi vale la seguente proporzione: BH:EB=AE:AF.

Ponendo, senza perdere in generalità, il lato del quadrato uguale a 1 abbiamo che AE=x e EB=ABAE=1x.

Applicando il teorema di Pitagora al triangolo rettangolo AEF si ha AF2+AE2=FE2.

Poiché EF=FD=ADAF=1AF si ha AF2+AE2=(1AF)2 e quindi AF=(1AE2)2=(1x2)2.

Sostituendo nella proporzione si ottiene: BH=2x(1x)(1x2)=2x(1+x).

Triangoli "egizi"

Solo nei casi in cui E divide il lato del quadrato in 2 o 3 parti si ha che i due triangoli AEF e BHE sono triangoli rettangoli "egizi" ovvero costruiti sulla terna pitagorica 3, 4, 5. Poiché i triangoli in oggetto sono simili basterà impostare il ragionamento solo sul triangolo AEF.

Imponiamo le condizioni affinché i cateti di tali triangolo rettangolo siano rispettivamente 3 e 4 volte multipli di una stessa grandezza a (da cui, per il teorema di Pitagora, segue che l'ipotenusa lo sarà 5 volte).

Sono possibili i due casi: AE=x=3a e AF=(1x2)2=4a o, viceversa, AE=x=4a e AF=(1x2)2=3a.

Nel primo caso abbiamo: a=x3; (1x2)2=4x3 da cui segue: 33x2=8x che ha una sola soluzione positiva x=13.

Nel secondo caso abbiamo: a=x4; (1x2)2=3x4 da cui segue: 22x2=3x che ha una sola soluzione positiva x=12.

Voci correlate

Template:Portale