In questo appunto di geometria Analitica, parleremo della Funzione Omografica, dandone prima la definizione e poi analizzandone le proprietà fondamentali.
La funzione omografica
In particolare, in
Geometria Analitica, si definisce
funzione omografica una qualsiasi funzione avente forma:
[math] y=\frac{ax+b}{cx+d}[/math]
dove
[math]a,\ b,\ c,\ d\in{R}[/math]
, ovvero sono coefficienti reali e costanti. Inoltre, affinché la soluzione ammetta una soluzione reale, è necessario che il denominatore sia diverso da zero. Quindi, oltre a dire che questi coefficienti sono reali e costanti, dobbiamo aggiungere che:
[math]c\neq 0 \vee d\neq 0[/math]
cioè entrambi i coefficienti
[math] c e d [/math]
devono esseri diversi dal valore nullo.
In generale, a seconda dei valori assunti dalle costanti
[math] a, b, c, d [/math]
, la funzione omografica porta alla rappresentazione di diversi tipi di luoghi geometrici nel
piano cartesiano,ovvero:
- una retta,
- una retta orizzontale,
- un'iperbole equilatera.
Nei prossimi paragrafi vedremo nel dettaglio questi tre casi.
Funzione omografica: retta
Se
[math]c= 0[/math]
allora, la funzione omografica diventa:
[math]y=\frac{ax+b}{d}[/math]
Questa non è altro che l’equazione di una retta avente coefficiente angolare
[math]m[/math]
e
ordinata all’origine[math]q [/math]
, dove
[math]m \e\ q[/math]
sono definiti come:
[math]m=\frac{a}{d}[/math]
[math]q=\frac{b}{d}[/math]
Per meglio comprendere quanto detto, possiamo anche scrivere l’equazione di sopra nella sua forma esplicita, mettendo in risalto la variabile x:
[math]y=\frac{a}{d}x + \frac{b}{d} [/math]
In questo caso è ancora più evidente la condizione di esistenza che abbiamo visto prima, cioè quella secondo cui è necessario che sia
[math] d\neq 0[/math]
affinché la soluzione esista, viceversa l’equazione non avrebbe significato.
Tuttavia, non dobbiamo confondere la condizione appena enunciata con il
dominio della funzione. Infatti, se scriviamo l’equazione omografica sottoforma di un’espressione analitica di una funzione reale in variabile reale, ovvero scriviamo che:
[math]y=f(x)[/math]
Il dominio di questa funzione è l’insieme dei numeri reali
[math]R[/math]
, cioè la funzione esiste per qualunque valore di
[math]x[/math]
. In altre parole, possiamo dire che per qualunque valore di
[math]x[/math]
possiamo ottenere un valore
[math]y[/math]
. Questo perché nella funzione in esame, la variabile x non compare a denominatore, bensì al numeratore della frazione, di conseguenza può assumere qualunque valore, restituendo sempre un valore associato di
[math]f(x)[/math]
.
Nel prossimo paragrafo vedremo un altro caso particolare di funzione omografica, ovvero quello della
retta orizzontale.
Funzione omografica: retta orizzontale
Ritornando all’analisi dei coefficienti, possiamo notare che, nel caso specifico in cui
[math]a=0[/math]
, l’equazione omografica si riduce all’equazione di una
retta orizzontale, cioè parallela all’asse delle ascisse.
Un caso particolare di questa funzione è quella in cui
[math]c \neq 0 [/math]
e
[math]ad=bc[/math]
poiché si ottiene una retta orizzontale in tutto
[math] R[/math]
tranne nel punto di coordinate:
[math]x= - \frac{d}{c}[/math]
. Infatti, se sostituiamo questi valori nella nostra espressione
matematica, otterremo che
[math]y=\frac{a}{c}[/math]
per tutti i punti in cui
[math]x \neq -\frac{d}{c}[/math]
.
Inoltre, è interessante notare che non è mai possibile ottenere una retta verticale a partire da un’equazione omografica. In altre parole, qualunque siano i valori di
[math]a,\ b,\ c,\ d\in{R}[/math]
, non è mai possibile ottenere una retta verticale, cioè parallela all’asse delle ordinate.
Nel prossimo paragrafo vedremo invece, il caso in cui una funzione omografica rappresenta graficamente un’iperbole equilatera.
Funzione omografica: iperbole equilatera
Prima di entrare nel dettaglio e parlare del caso relativo all’iperbole equilatera, vi consiglio di fare un ripasso sull’
equazione di un iperbole ed, in particolare di un
iperbole equilatera. Fatto ciò, possiamo tornare all’ultimo caso della funzione omografica.
Vediamo adesso il caso in cui
[math]c \neq 0 [/math]
e
[math] ad \neq bc [/math]
. In questo caso la funzione omografica rappresenterà graficamente un’
iperbole equilatera riferita ai propri asintoti e traslata. Ovviamente, è necessario imporre le condizioni di
[math]c \neq 0 [/math]
e
[math] ad \neq bc [/math]
in modo tale da poter escludere dalle possibili rappresentazioni della funzione omografica, l’equazione di una retta.
Ad ogni modo, ritornando all’iperbole equilatera abbiamo che, in questo caso, gli asintoti non coincidono con gli assi cartesiani, ma sono paralleli ad essi e passanti per un punto che chiamiamo
[math]O_1[/math]
. In particolare, il punto
[math]O_1[/math]
è detto
punto di simmetria della curva in quanto centro di simmetria dell'iperbole, ed ha coordinate:
[math]O_1\left(-\frac{d}{c}; \frac{a}{c}\right)[/math]
.
Allo stesso modo possiamo dire che le
equazioni degli asintoti dell’iperbole equilatera sono:
[math]x=-\frac{d}{c}[/math]
[math]y=\frac{a}{c}[/math]
Come potete vedere si tratta di un asintoto verticale ed uno orizzontale, cioè paralleli rispettivamente all’asse delle ordinate e all’asse delle ascisse.

È importante, inoltre, determinare il valore della costante
[math]k[/math]
, pari a:
[math]k=\frac{bc-ad}{c^2}[/math]
Questa costante permette di determinare le coordinate dei vertici e dei fuochi dell’iperbole equilatera. Infatti, noto
[math]k[/math]
, possiamo dire che, se
[math]k>0[/math]
allora:
[math] V_1=\left(-\frac{d}{c}- \sqrt {k},\frac{a}{c}-\sqrt {k} \right) [/math]
[math] V_2=\left(-\frac{d}{c}+\sqrt {k},\frac{a}{c}+\sqrt {k} \right) [/math]
Mentre le coordinate dei fuochi saranno:
[math] F_1=\left(-\frac{d}{c}-\sqrt{2k},\frac{a}{c}-\sqrt {2k} \right) [/math]
[math] F_2=\left(-\frac{d}{c}+\sqrt {2k},\frac{a}{c}+\sqrt {2k} \right) [/math]
Viceversa, se
[math]k>0[/math]
allora le coordinate dei vertici saranno:
[math] V_1=\left(-\frac{d}{c}-\sqrt {|k|},\frac{a}{c}-\sqrt {|k|} \right) [/math]
[math] V_2=\left(-\frac{d}{c}+\sqrt {|k|},\frac{a}{c}+\sqrt {|k|} \right) [/math]
Mentre quelle dei fuochi:
[math] F_1=\left(-\frac{d}{c}-\sqrt {|2k|},\frac{a}{c}-\sqrt {|2k|} \right) [/math]
[math] F_2=\left(-\frac{d}{c}+\sqrt {|2k|},\frac{a}{c}+\sqrt {|2k|} \right) [/math]
In pratica, quando
[math]k>0[/math]
si utilizza semplicemente il
valore assoluto all’interno della radice quadrata in quanto l’argomento della radice non può essere negativo.
Nel prossimo paragrafo sono presenti dei link di approfondimento sugli argomenti citati in questo appunto.
Approfondimenti
In questo paragrafo sono riportati dei link di approfondimento e ripasso di quanto detto/menzionato nei paragrafi precedenti: