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