Anno accademico 1995-1996
1) Siano πΆ1 , πΆ2 due circonferenze di centri e raggi rispettivi π1 , π2 e π1 , π2 . Dato
un punto π esterno alle due circonferenze si considerino le tangenti per π alle due
circonferenze e siano π1 , π1 e π2 , π2 i rispettivi punti di contatto. Si determini
il luogo dei punti tali che ππ12 + ππ22 = 1 .
Si discutano i punti π per cui ππ12 + ππ22 è minima.
Prima di cominciare a risolvere l’esercizio proposto, è opportuno ripetere il
Teorema della mediana, un teorema di Geometria derivato dalla legge del coseno
o teorema di Lazare Carnot.
In altri termini, con riferimento al generico triangolo mostrato nella figura
precedente, vale l’identità
1
2ππ 2 = ππ΄ 2 + ππ΅ 2 − π΄π΅ 2 ,
2
dove π è il punto medio di π΄π΅. Introdotti, infatti, i vettori
2
πβ = π΄ − π , πββ = π΅ − π , π
βββ = π − π , π’
ββ = π΅ − π = π − π΄ ,
si può scrivere
πβ = π
βββ − π’
ββ , πββ = π
βββ + π’
ββ .
Dunque, risulta
πβ β πβ = π2 = π2 + π’2 − 2π
βββ β π’
ββ , πββ β πββ = π 2 = π2 + π’2 + 2π
βββ β π’
ββ .
Sommando membro a membro le due ultime relazioni, si elimina il prodotto
scalare π
βββ β π’
ββ e si ottiene
π2 + π 2 = 2π2 + 2π’2 ,
da cui discende la tesi
1
2π2 = π2 + π 2 − (2π’)2 .
2
Pertanto, in un triangolo qualsiasi il doppio del quadrato della mediana relativa
ad un lato è uguale alla somma dei quadrati degli altri due lati diminuito della
metà del quadrato del primo lato.
Venendo al problema proposto, si parta dall’osservazione attenta della figura che
segue, nella quale, volendo rappresentare il problema, si è considerato un
generico punto π del piano, esterno alle due circonferenze, sono state tracciate le
quattro tangenti ad entrambe. Inoltre, per brevità di notazione, si introducono le
distanze del punto π dai centri delle circonferenze
3
π1 = ππ1 = √ππ12 + π12 , π2 = ππ2 = √ππ22 + π22 .
Ebbene, l’equazione del luogo assegnato
ππ12 + ππ22 = 1
si può scrivere nella forma equivalente
π12 + π22 = 1 + π12 + π22 .
Detto allora π il punto medio del segmento π = π1 π2 , in forza del Teorema della
mediana applicato al triangolo π1 ππ2 , si ottiene
4
1
1
2ππ 2 = π12 + π22 − π2 = 1 + π12 + π22 − π2 .
2
2
Questa ultima relazione prova inequivocabilmente che il luogo descritto dai punti
π è una circonferenza. Precisamente, quando esiste, si tratta della porzione di
circonferenza, che ha il centro nel punto π e di raggio
1
π = √2(1 + π12 + π22 ) − π2 ,
2
esterna sia a πΆ1 che a πΆ2 , dato che, quando il punto π si trova all’interno di una di
esse, non è possibile tracciare la tangente.
Infine, la distanza ππ12 + ππ22 è minima quando il punto π coincide con π, il punto
medio del segmento π1 π2 , sicché
π2
= 1 + π12 + π22 → π = 0
2
ed il luogo degenera nel solo punto π.
5
2) Dati quattro punti distinti nel piano dimostrare che è sempre possibile
sceglierne tre che determinino un angolo inferiore o uguale a 45°. In generale dati
π punti dimostrare che se ne possono scegliere 3 che determinino un angolo
inferiore o uguale a 180°/π.
Prima di discutere la soluzione, è conveniente sottolineare che in quel che segue
nessuna terna di punti considerati è da ritenersi allineata; se così non fosse, si
avrebbe una soluzione banale.
Caso particolare π = 4
Si comincia con il caso dei quattro punti. Se l’angolo in π è ottuso, allora nel
triangolo π΄ππ΅ il più piccolo fra gli angoli in π΄ o in π΅ deve essere minore di 45°,
perché la somma degli angoli in π΄, in π΅ e in π vale 180°. Se viceversa tale angolo è
retto o acuto, allora la retta congiungente π con il quarto vertice πΆ divide l’angolo
in due parti, una almeno delle quali deve essere minore o uguale a 45°.
Caso generale
Il problema chiede di dimostrare che è sempre possibile, dati π punti nel piano
(π ≥ 3), trovare un angolo convesso che ha vertice in uno di essi, lati che passano
per altri due punti, e che contiene i restanti π − 3 punti: basta prendere
6
l’involucro convesso degli π punti, scegliere un vertice π del poligono delimitante
l’involucro e le due semirette che escono da π e passano per i due vertici adiacenti
π΄ e π΅.
Nel caso generale si procede in modo simile. Scelto un angolo π΄ππ΅ che contiene i
restanti punti all’interno si hanno due casi: o tale angolo supera (1 − 2/π) 180°, e
allora nel triangolo π΄ππ΅ uno degli angoli in π΄ o in π΅ deve essere minore di 180°/π,
oppure, in caso contrario, le rette che congiungono π con i restanti π − 3 punti
dividono l’angolo in π in π − 2 angoli che, se fossero tutti maggiori di 180°/π
darebbero per l’angolo in π una ampiezza più grande di (1 − 2/π) 180°, contro
l’ipotesi.
Si noti che il risultato non è migliorabile: nel caso del poligono regolare di π lati
gli angoli formati da due diagonali consecutive uscenti dallo stesso vertice
valgono esattamente 180°/π.
7
3) Dimostrare che, se π, π, π sono interi consecutivi, allora π3 + π 3 + π 3 è multiplo
di 9.
Se si pone
π = π − 1 , π = π , π = π + 1 , con π ∈ β ,
risulta indubbiamente
π3 + π 3 + π 3 = (π − 1)3 + π3 + (π + 1)3 = 3(π3 + 2π)
e, quindi, basta dimostrare che la successione di interi
ππ = π3 + 2π
è dividibile per 3. La successione è dispari, nel senso che π0 = 0 e
π−π = −ππ , con π ≥ 1 .
Pertanto, si restringerà l’attenzione soltanto ai valori positivi dell’indice e si
procederà per induzione. I primi termini della successione, come mostra la tabella
che segue, sono tutti divisibili per 3.
π
1
2
3
2
ππ
3
12
33
72
Se poi, per ipotesi, si suppone che ππ sia divisibile per tre, allora anche ππ+1 deve
esserlo. Simbolicamente, si ha
8
ππ = 3π» → ππ+1 = 3πΎ ( π», πΎ interi) .
Infatti, si può scrivere
ππ+1 = (π + 1)3 + 2(π + 1) = π3 + 3π2 + 5π + 3 = ππ + 3(π2 + π + 1) .
Ora, ponendo ππ = 3π», la relazione precedente diventa
ππ+1 = 3π» + 3(π2 + π + 1) ,
da cui si evince elementarmente che anche ππ+1 è divisibile per tre. Resta in tal
modo dimostrato che il cubo di tre interi consecutivi è un multiplo di tre.
Una maniera di procedere più breve e raffinata, ma un tantino più complicata, è la
seguente. Dato che si può scrivere
(π − 1)π(π + 1) + 9π ,
π3 + π 3 + π 3 = (π − 1)3 + π3 + (π + 1)3 = 3 β
sempre divsibile per 3
si conclude immediatamente la divisibilità per 9 per ogni valore di π.
9
4) Sia π βΆ β → β una funzione non negativa, con concavità rivolta verso il basso,
derivabile e tale che π′(0) > 0 e π(π₯) = π(2 − π₯) per ogni π₯ ∈ β.
Dimostrare che
2
[π(1) − π(0)]2
∫ π(π₯) ππ₯ ≤ 2π(1) −
.
π′(0)
0
Provare che se la condizione π(π₯) = π(2 − π₯) non è verificata, la diseguaglianza
(∗) può non valere.
Si comincia con il dimostrare che, stante l’ipotesi π(π₯) = π(2 − π₯), l’intervallo di
integrazione può essere dimezzato, sicché
2
1
2
1
∫ π(π₯) ππ₯ = ∫ π(π₯) ππ₯ + ∫ π(2 − π₯) ππ₯ = 2 ∫ π(π₯) ππ₯ .
0
0
1
0
π¦
π¦ = π₯π′(0) + π(0)
π
π(1)
π(0)
π
π΄
1
2
10
π₯
Dunque, la relazione di simmetria assegnata impone una simmetria rispetto alla
retta verticale π₯ = 1. Inoltre, derivandola, si può scrivere
π(π₯) = π(2 − π₯) → π ′ (π₯) = −π′(2 − π₯)
e dedurre che π′(1) = 0, sicché la funzione presenta in π₯ = 1 un massimo relativo.
Se si interseca la tangente nell’origine con la tangente passante per il massimo, si
ottiene il punto
{
π(1) − π(0)
π¦ = π₯π′(0) + π(0) ,
→ π₯=
.
π¦ = π(1) ,
π′(0)
π¦
π
πΆ
π
π΅
π
π₯
π΄
Segue allora che l’integrale definito tra zero ed uno si può maggiorare con la
differenza dell’area del rettangolo in grigio ππ΄ππΆ e del triangolo in rosso π΅πΆπ, in
modo che sia
2
1
∫ π(π₯) ππ₯ = 2 ∫ π(π₯) ππ₯ = 2π(1) − 2
0
0
11
π(1) − π(0)
[π(1) − π(0)] ,
2 π′(0)
da cui segue la tesi desiderata.
Qualora la relazione di simmetria π(π₯) = π(2 − π₯) non fosse verificata, come
accade per la parabola
π(π₯) = 1 + 4π₯ − π₯ 2 [π(1) = 4 , π(0) = 1 , π′(0) = 4] ,
allora la maggiorazione non è più valida, essendo
2
2
∫ π(π₯) ππ₯ = ∫ (4π₯ − π₯
0
0
2)
[π(1) − π(0)]2 23
22
ππ₯ =
> 2π(1) −
=
.
3
π′(0)
4
12
5) Dato π΄ = {(π₯, π¦) ∈ β2 βΆ |π₯|2π + |π¦|2π ≤ 1} ove π ∈ β, π > 0, si consideri
al variare di π ≥ 0 la classe πΆ degli insiemi
π΅π = {(π₯, π¦) ∈ β2 βΆ |π₯| + |π¦| ≤ π}
contenuti in π΄. Determinare π in funzione di π in modo che π΅π abbia area massima
tra gli insiemi di πΆ.
Gli insiemi π΅π sono una famiglia di quadrati, tutti centrati nell’origine e con vertici
sugli assi; il lato del quadrato vale πΏ = π√2 e, pertanto, al crescere del parametro
i quadrati diventano sempre più grandi. Ad esempio, nella figura è rappresentato
il caso π = 2. Scopo dell’esercizio è, fissato un valore di π, determinare il massimo
valore di π per cui π΅π ⊆ π΄.
Inoltre, per π = 1/2, risulta banalmente π΄ = π΅1 , per cui il massimo valore risulta
ππ = 1. Nella figura che segue sono mostrati gli insieme π΄ per tre valori possibili
di π, precisamente, procedendo da sinistra verso destra, si riportano i casi π =
13
1/2 una quadrato, π = 1 una circonferenza, π = 2 un quadrato con gli angoli
smussati.
Appare evidente che per π ≥ 1/2, il massimo quadrato contenuto è sempre π΅1 e,
pertanto, risulta sempre ππ = 1. D’altra parte, algebricamente si può scrivere
|π₯|2π + |π¦|2π ≤ |π₯| + |π¦| ≤ 1 , per π ≥
1
.
2
Per 0 < π < 1/2, le cose sono un pochino più complicate, dato che le curve π΄
assumono un aspetto più complicato. Ad esempio, la figura che segue illustra il
caso π = 1/10.
14
Limitandosi per semplicità al tratto di curva del primo quadrante, le due curve
π₯ + π¦ = ππ e π₯ 2π + π¦ 2π = 1
devono essere tangenti. Per la evidente simmetria in gioco, esse si toccheranno
lungo i punti della bisettrice π¦ = π₯, sicché il punto di tangenza vale
2π₯ = ππ , 2π₯
2π
ππ 2π
1
= 1 → 2 ( ) = 1 → ππ = 21−1/(2π) per 0 < π < .
2
2
In definitiva, si può dire che la funzione cercata, rappresentata in figura, vale
21−1/(2π)
0<π<
1
π≥
ππ (π) = {
15
1
.
2
1
,
2
Si noti che questa funzione presenta due interessanti caratteristiche: presenta un
punto angoloso in π = 1/2; tutte le derivate si annullano nel limite per π → 0+ .
Le curve algebriche piane dovute a Gabriel Lamé (Tours, 22 luglio 1795 – Parigi, 1 maggio 1870)
si possono scrivere nella forma
π₯ πΌ
π¦ πΌ
( ) +( ) =1,
π
π
dove πΌ è un numero razionale, positivo o negativo, detto indice della curva. Sono esempi di
curve di Lamé la retta, l’ellisse, l’asteroide e l’iperbole, che si ottengono, rispettivamente, per
πΌ = 1, πΌ = 2, πΌ = 2/3, πΌ = −1. Le curve di Lamé rappresentano una generalizzazione delle
coniche. Il nome Lamé è inciso sulla Torre Eiffel.
16
6) Siano π, π numeri reali non negativi tali che π 2 + π 6 ≤ π2 − π6 . Dimostrare che
allora risulta:
1) π ≤ 1 ,
2) π < 2/3 .
Dato che i numeri reali in esame sono non negativi, deve essere
π2 − π6 ≥ 0 → π2 (1 − π2 )(1 + π2 ) ≥ 0 → 0 ≤ π ≤ 1
e così la prima implicazione è subito verificata.
La funzione
π(π) = π2 − π6 , con 0 ≤ π ≤ 1 ,
è mostrata nella figura che segue e presenta un massimo relativo nel punto
17
ππ =
1
4
√3
, π(ππ ) =
1
√3
−
1
√27
=
2
3 √3
=π,
dal momento che essa è strettamente crescente nell’intervallo
2π − 6π5 > 0 → 3π4 < 1 → 0 < π <
1
4
√3
.
Per contro, per valori non negativi di π, si può scrivere
π 2 + π 6 ≤ π → π 6 ≤ π − π 2 → π − π 2 ≥ 0 → 0 ≤ π ≤ √π <
Laddove l’ultima disuguaglianza è presto verificata, dato che
√π <
2
4
2
4
→ π<
→
<
→ 3 < 2√3 → 9 < 12 .
3
9
3 √3 9
18
2
,
3