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