La macchina dei triangoli

Rette, triangoli, cerchi, poliedri, ...
Rispondi
Avatar utente
Loara
Messaggi: 40
Iscritto il: 07 set 2013, 17:25
Località: Salerno

La macchina dei triangoli

Messaggio da Loara » 12 ago 2014, 14:06

Gino ha comprato un macchinario che, ogni volta che viene acceso, genera una terna NON ordinata di numeri reali positivi $ (x, y, z) $.Trovare una funzione che associa a ciascuna terna un triangolo non degenere in modo tale che a terne uguali corrispondono triangoli congruenti, e a terne diverse corrispondono triangoli non congruenti.
Ultima modifica di Loara il 12 ago 2014, 17:31, modificato 1 volta in totale.
$ 210^2+211^2+212^2+213^2+214^2+215^2+216^2+217^2+218^2+219^2+220^2=\\ =221^2+222^2+223^2+224^2+225^2+226^2+227^2+228^2+229^2+230^2\\ 210=2*3*5*7 $

Avatar utente
karlosson_sul_tetto
Messaggi: 1439
Iscritto il: 10 set 2009, 13:21
Località: Napoli

Re: La macchina dei triangoli

Messaggio da karlosson_sul_tetto » 12 ago 2014, 15:08

Domanda: una funzione che associa il triangolo con i tre lati uguali a x,y,z rispettivamente, è sbagliata innanzitutto perché crea triangoli degeneri e anche inesistenti, ma anche perché se considero due terne (x,y,z) e (y,x,z) queste generano due triangoli congruenti mentre non dovrebbero, giusto?
"Inequality happens"
---
"Chissa se la fanno anche da asporto"

Avatar utente
Loara
Messaggi: 40
Iscritto il: 07 set 2013, 17:25
Località: Salerno

Re: La macchina dei triangoli

Messaggio da Loara » 12 ago 2014, 15:28

Si infatti, però nota: le terne sono ordinate, per esempio: $ x\leq y\leq z $
$ 210^2+211^2+212^2+213^2+214^2+215^2+216^2+217^2+218^2+219^2+220^2=\\ =221^2+222^2+223^2+224^2+225^2+226^2+227^2+228^2+229^2+230^2\\ 210=2*3*5*7 $

Avatar utente
karlosson_sul_tetto
Messaggi: 1439
Iscritto il: 10 set 2009, 13:21
Località: Napoli

Re: La macchina dei triangoli

Messaggio da karlosson_sul_tetto » 12 ago 2014, 15:37

Scusa, continuo a non capire: la macchina può generare (1,2,3)? (2,1,3)? (3,1,2)? Oppure li genera con la condizione $ x\leq y \leq z $? Se vanno bene quelle tre, allora i tre triangoli corrispondenti sono tutti diversi, giusto?
"Inequality happens"
---
"Chissa se la fanno anche da asporto"

Avatar utente
Loara
Messaggi: 40
Iscritto il: 07 set 2013, 17:25
Località: Salerno

Re: La macchina dei triangoli

Messaggio da Loara » 12 ago 2014, 15:44

Con terne ordinate si intende che le terne $ (x, y, z), (y, x, z), (x, z, y), (y, z, x), (z, x, y), (z, y, x) $ sono equivalenti, e quindi i triangoli ad esse associate sono congruenti. Quindi essendo il problema simmetrico si può porre nella soluzione $ x\leq y\leq z $.
$ 210^2+211^2+212^2+213^2+214^2+215^2+216^2+217^2+218^2+219^2+220^2=\\ =221^2+222^2+223^2+224^2+225^2+226^2+227^2+228^2+229^2+230^2\\ 210=2*3*5*7 $

Avatar utente
karlosson_sul_tetto
Messaggi: 1439
Iscritto il: 10 set 2009, 13:21
Località: Napoli

Re: La macchina dei triangoli

Messaggio da karlosson_sul_tetto » 12 ago 2014, 15:46

Ok ho capito, grazie :)
"Inequality happens"
---
"Chissa se la fanno anche da asporto"

Triarii
Messaggi: 464
Iscritto il: 18 nov 2010, 21:14

Re: La macchina dei triangoli

Messaggio da Triarii » 12 ago 2014, 16:02

Provo, probabilmente sbagliando... E' in spoiler perchè di geometria ha poco la mia soluzione
Testo nascosto:
Voglio associare ad ogni terna un triangolo equilatero di lato $\lambda \in \mathbb R$. E' evidente che 2 triangoli equilateri sono congruenti se e solo se è uguale la lunghezza del lato. Pertanto se riesco a dimostrare che esiste una corrispondenza biunivoca fra $\mathbb R ^3$ e $\mathbb R$ ho vinto.
Come costruiamo questa biiezione?
Siano
$ x=A_iA_{i-1}...,a_1a_2...
y=B_jB_{j-1}...,b_1b_2...
z=C_kC_{k-1}...,c_1c_2...$
gli sviluppi decimali di $x,y,z$.
Costruiamo ora $\lambda$ nel seguente modo:
$\lambda =A_iB_iC_iA_{i-1}B_{i-1}C_{i-1}...,a_1b_1c_1a_2b_2c_2a_3b_3c_3...$

dove eventualmente nella parte a sinistra della virgola i $B_i,C_i$ possono essere nulli. $A_i\neq 0$ perchè abbiamo supposto $x$ massimo e quindi è sicuramente la prima cifra non nulla.
Mostriamo ora che a terne diverse corrispondono lambda diversi: infatti $f(x_1,y_1,z_1)= \lambda _1=f(x_2,y_2,z_2)=\lambda _2 \Leftrightarrow$ tutte le cifre dello sviluppo decimale sono uguali. Ma ciò avviene solo se la terna è la stessa, ossia $x_1=x_2$ e così via per le altre coppie.
Se non vado errando ed il mio ragionamento è corretto, forse si potrebbe mostrare che ad ogni terna, contando anche l'ordine, posso associare un triangolo diverso. (anche se a sto punto dovrei evitare il casino sulla prima cifra della parte intera, che io ho supposto della massima)
"We' Inge!"
LTE4LYF

fph
Site Admin
Messaggi: 3835
Iscritto il: 01 gen 1970, 01:00
Località: in giro
Contatta:

Re: La macchina dei triangoli

Messaggio da fph » 12 ago 2014, 17:00

Loara ha scritto:Con terne ordinate si intende che le terne $ (x, y, z), (y, x, z), (x, z, y), (y, z, x), (z, x, y), (z, y, x) $ sono equivalenti, e quindi i triangoli ad esse associate sono congruenti. Quindi essendo il problema simmetrico si può porre nella soluzione $ x\leq y\leq z $.
Uhm, no, di solito si intende il contrario, cioè, una terna si chiama ordinata quando l'ordine conta e quindi (1,2,3) è diverso da (3,1,2), e non ordinata quando l'ordine non conta e quindi {1,2,3}={3,1,2}. Di solito nel primo caso si usano le parentesi tonde, e nel secondo le graffe. Vedi per esempio https://en.wikipedia.org/wiki/Ordered_pair, https://en.wikipedia.org/wiki/Unordered_pair (per due elementi, ma è la stessa cosa).

Hai ragione che forse il nome genera un po' di confusione, visto che non ha a che vedere con il concetto di "ordinare" nel senso di "mettere in ordine crescente". Anzi, come fai notare tu, delle due quella che puoi supporre in ordine crescente è proprio la terna non ordinata. Però lo standard che si usa in matematica è questo.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]

Avatar utente
Loara
Messaggi: 40
Iscritto il: 07 set 2013, 17:25
Località: Salerno

Re: La macchina dei triangoli

Messaggio da Loara » 12 ago 2014, 17:31

Ho sbagliato a scrivere. Ora ho corretto.
$ 210^2+211^2+212^2+213^2+214^2+215^2+216^2+217^2+218^2+219^2+220^2=\\ =221^2+222^2+223^2+224^2+225^2+226^2+227^2+228^2+229^2+230^2\\ 210=2*3*5*7 $

Avatar utente
Loara
Messaggi: 40
Iscritto il: 07 set 2013, 17:25
Località: Salerno

Re: La macchina dei triangoli

Messaggio da Loara » 12 ago 2014, 17:46

La risposta di Triarii è corretta. Ora espando il problema: la funzione che bisogna trovare, oltre a possedere le caratteristiche che ho mostrato precedentemente, deve essere anche suriettiva, ovvero ad ogni triangolo non degenere sul piano è sempre possibile associare una terna non ordinata di numeri reali positivi $ (x, y, z) $.
$ 210^2+211^2+212^2+213^2+214^2+215^2+216^2+217^2+218^2+219^2+220^2=\\ =221^2+222^2+223^2+224^2+225^2+226^2+227^2+228^2+229^2+230^2\\ 210=2*3*5*7 $

Avatar utente
Drago96
Messaggi: 1145
Iscritto il: 14 mar 2011, 16:57
Località: Provincia di Torino
Contatta:

Re: La macchina dei triangoli

Messaggio da Drago96 » 12 ago 2014, 18:06

Dovrebbe andar bene anche la banale funzione che a $(x, y, z) $ associa il triangolo di lati $ x+y, y+z, z+x $...
Infatti, dato un triangolo con lati $a, b, c$ posso ricavare la terna di partenza, che sarà $\displaystyle\frac {a+b-c} 2,\frac {a+c-b} 2,\frac{b+c-a} 2 $
Imagination is more important than knowledge. For knowledge is limited, whereas imagination embraces the entire world, stimulating progress, giving birth to evolution (A. Einstein)

Rispondi