Circonferenze impossibili

[spugna2]

Dimostrare che non esistono, nel piano euclideo $RR^2$, cinque circonferenze $C_1,C_2,C_3,C_4,C_5$ che soddisfino le seguenti condizioni:

1) $\forall \ 1<=i 2) $\forall \ 1<=i 3) $\forall \ 1<=i

Cita

Segnala

---

Risposte

Quinzio

5 dic 2019, 18:30

Ciao spugna, la dimostrazione non ce l'ho, ma mi sono scervellato un po' su
questo problema.
Non e' neanche facile trovare una disposizione delle 5 circonferenze che si avvicini il piu' possibile alle richieste,
che sono pero' impossibili da soddisfare.
Nel disegno sotto non mi e' neanche chiaro quale richiesta viene violata.
Comunque, qual e' in generale la configurazione che piu' si avvicina alle richieste ?

PS. Dovrebbe essere abbastanza chiaro nel disegno quali sono le aree $R_{ij}$

Cita

Segnala

---

spugna2

6 dic 2019, 23:21

"Quinzio":Nel disegno sotto non mi e' neanche chiaro quale richiesta viene violata.

Le $R_{ij}$ in totale sono sei, e per soddisfare la terza richiesta è necessario che l'interno di $C_5$ ne contenga esattamente tre, mentre la $C_5$ del tuo disegno (che se non erro è quella centrata in $G$) ne contiene solo una.

"Quinzio":Comunque, qual e' in generale la configurazione che piu' si avvicina alle richieste?

Mi vengono in mente due risposte che suggeriscono due dimostrazioni diverse (anche se nella seconda c'è un passaggio che non saprei come formalizzare): le lascio come testo nascosto perché sono a tutti gli effetti degli hint...

A)

Sempre basandomi sul tuo disegno direi che hai capito come devono essere disposte $C_1$, $C_2$, $C_3$ e $C_4$, cioè in modo che siano a due a due "quasi tangenti". Ora puoi accorgerti che è possibile disegnare $C_5$ senza imporre che sia una circonferenza (cioè assumendo che possa essere una qualsiasi curva semplice chiusa che interseca le altre $C_i$ trasversalmente), dopodiché ragionare per assurdo...

B)

Moralmente, disegnare $C_5$ sarebbe più facile se le altre quattro circonferenze fossero a due a due tangenti: in tal caso le $R_{ij}$ si ridurrebbero a dei punti $P_{ij}$, tre dei quali dovrebbero trovarsi all'interno di $C_5$ per soddisfare la (3), ma anche questo sarebbe impossibile (perché?).

Cita

Segnala

---

Rispondi

Per rispondere a questa discussione devi prima effettuare il login.

[Quinzio]

Ciao spugna, la dimostrazione non ce l'ho, ma mi sono scervellato un po' su
questo problema.
Non e' neanche facile trovare una disposizione delle 5 circonferenze che si avvicini il piu' possibile alle richieste,
che sono pero' impossibili da soddisfare.
Nel disegno sotto non mi e' neanche chiaro quale richiesta viene violata.
Comunque, qual e' in generale la configurazione che piu' si avvicina alle richieste ?

PS. Dovrebbe essere abbastanza chiaro nel disegno quali sono le aree $R_{ij}$

[spugna2]

"Quinzio":Nel disegno sotto non mi e' neanche chiaro quale richiesta viene violata.

Le $R_{ij}$ in totale sono sei, e per soddisfare la terza richiesta è necessario che l'interno di $C_5$ ne contenga esattamente tre, mentre la $C_5$ del tuo disegno (che se non erro è quella centrata in $G$) ne contiene solo una.

"Quinzio":Comunque, qual e' in generale la configurazione che piu' si avvicina alle richieste?

Mi vengono in mente due risposte che suggeriscono due dimostrazioni diverse (anche se nella seconda c'è un passaggio che non saprei come formalizzare): le lascio come testo nascosto perché sono a tutti gli effetti degli hint...

A)

Sempre basandomi sul tuo disegno direi che hai capito come devono essere disposte $C_1$, $C_2$, $C_3$ e $C_4$, cioè in modo che siano a due a due "quasi tangenti". Ora puoi accorgerti che è possibile disegnare $C_5$ senza imporre che sia una circonferenza (cioè assumendo che possa essere una qualsiasi curva semplice chiusa che interseca le altre $C_i$ trasversalmente), dopodiché ragionare per assurdo...

B)

Moralmente, disegnare $C_5$ sarebbe più facile se le altre quattro circonferenze fossero a due a due tangenti: in tal caso le $R_{ij}$ si ridurrebbero a dei punti $P_{ij}$, tre dei quali dovrebbero trovarsi all'interno di $C_5$ per soddisfare la (3), ma anche questo sarebbe impossibile (perché?).