Bisettrice

In geometria, la bisettrice è il nome dato a un piano o linea, semiretta o retta, utilizzati per la bisezione di un'entità geometrica, come un segmento, triangolo, poligono in generale o un angolo, in due parti congruenti (come dice la radice del nome bi, cioè due).

Retta bisettrice

Nella geometria euclidea, la retta bisettrice si può caratterizzare anche come il luogo dei punti del piano equidistanti da una coppia di rette. Se queste sono incidenti, si hanno due bisettrici perpendicolari fra loro; se, invece, sono parallele, si avrà allora un'unica bisettrice anch'essa parallela alle due e ivi compresa a metà strada.

In un riferimento cartesiano, date le equazioni identificative delle due rette

{\begin{matrix}ax by c=0\\a'x b'y c'=0\end{matrix}}

abbiamo che $Ax By C=0$ rappresenta l'equazione della/delle bisettrice/i, con:

A={\frac {a}{\sqrt {a^{2} b^{2}}}}\pm {\frac {a'}{\sqrt {a'^{2} b'^{2}}}},

B={\frac {b}{\sqrt {a^{2} b^{2}}}}\pm {\frac {b'}{\sqrt {a'^{2} b'^{2}}}},

C={\frac {c}{\sqrt {a^{2} b^{2}}}}\pm {\frac {c'}{\sqrt {a'^{2} b'^{2}}}}.

Bisettrice dell'angolo

In geometria, la bisettrice è la semiretta che divide l'angolo in due settori congruenti.

Può essere idealmente considerata come l'asse di simmetria dell'angolo, che divide l'angolo iniziale di ampiezza $\alpha$ in due angoli di eguale ampiezza $\alpha /2$ .

Alcune proprietà geometriche della bisettrice:

Le bisettrici di due angoli opposti al vertice sono semirette opposte, che giacciono sulla stessa retta.
Analogamente, le bisettrici di due angoli esplementari sono semirette opposte.
(Due angoli esplementari hanno ampiezza $\alpha$ e $360^{\circ }-\alpha ,$ quindi le due bisettrici formano un angolo di ampiezza $\alpha /2 (360^{\circ }-\alpha )/2=180^{\circ }$ ).
Le bisettrici di due angoli supplementari adiacenti sono perpendicolari.
(Due angoli supplementari hanno ampiezza $\alpha$ e $180^{\circ }-\alpha ,$ quindi le due bisettrici formano un angolo di ampiezza $\alpha /2 (180^{\circ }-\alpha )/2=90^{\circ }$ ).

Costruzione con riga e compasso

Il problema di trovare la retta bisettrice dell'angolo formato da due rette date è un problema che si può risolvere con delle costruzioni con riga e compasso. La bisettrice di un angolo può essere infatti costruita, così come mostra Euclide^[1], con riga e compasso secondo i seguenti passaggi:

Puntando il compasso nel vertice $O,$ con raggio a piacere, con un arco si individuano due punti $A$ e $B$ sui lati dell'angolo.
Tracciando due circonferenze centrate in $A$ e in $B,$ sempre con raggio $AB,$ si trovano i punti $C$ e $C'$ di intersezione fra le due.
Si traccia infine una retta $r$ da $O$ passante per $C$ : questa è la bisettrice.

La bisettrice in pratica viene trovata come la perpendicolare del punto medio di $AB$ (punti 2 e 3) i cui estremi sono equidistanti dal vertice $O$ (punto 1).

Il problema analogo in cui date due rette si cercano altre due rette che dividano l'angolo compreso in tre parti uguali (il problema della trisezione dell'angolo) si può dimostrare essere insolubile mediante costruzioni con riga e compasso.

Angolo concavo

La bisettrice ovviamente esiste e può essere costruita anche per gli angoli concavi: è la semiretta opposta alla bisettrice costruita per l'angolo esplementare a quello dato.

Proprietà

Luogo dei punti equidistanti

La bisettrice di un angolo convesso è il luogo dei punti equidistanti dai lati.

Dimostrazione
Se individuiamo due generici punti

A

e

B

sui lati dell'angolo tali per cui le relative distanze dalla bisettrice si intersechino in

R

sulla bisettrice, per verificare il teorema occorre che i segmenti

AR

e

BR

siano congruenti.
Per loro definizione una distanza forma un angolo retto con la base, ragione per cui

AR

e

BR

sono anche i cateti di due distinti triangoli rettangoli, aventi

OR

come ipotenusa e un angolo all'origine; essendo quindi le ipotenuse e, per la dimostrazione di sopra, almeno uno degli angoli acuti congruenti, per il terzo criterio di congruenza dei triangoli rettangoli, anche i cateti

AR

e

BR

, ossia le distanze, risultano

AR\cong BR.

Talvolta questo teorema viene espresso in maniera generica senza precisare la natura dell'angolo, lasciando con ciò intendere che sia valido anche per gli angoli concavi, cosa però impossibile in quanto le distanze dei lati vengono proiettate in modo da essere divergenti rispetto alla bisettrice. Ovviamente esiste comunque un luogo dei punti equidistanti dal lati ma è esterno alla porzione di piano dell'angoli interessato, in quanto si trova nell'angolo esplementare a quest'ultimo, dove le distanze risultano convergenti.

La bisettrice nel triangolo

Nel triangolo, per bisettrice di un angolo non s'intende solitamente più la semiretta che lo divide, ma il tratto di questa retta che congiunge il vertice col lato opposto; si tratta dunque di un segmento di cui è possibile determinare lunghezza.

Si è soliti, poi, distinguere la bisettrice a seconda se cada fuori o dentro al perimetro del triangolo considerando "interna" la bisettrice che giace internamente al perimetro, ed "esterna" quella che invece congiunge il vertice al prolungamento del lato opposto, in altre parole la bisettrice dell'angolo esterno, che è sempre esterna al perimetro del triangolo.

Vi sono inoltre diverse proprietà legate alle bisettrici:

La bisettrice interna ed esterna del medesimo vertice formano tra loro un angolo retto, e sono entrambe equidistanti dai lati adiacenti o dai loro prolungamenti^[2].
In qualsiasi triangolo, le bisettrici interne si congiungono tutte e tre in un unico punto, incentro, interno al poligono ed equidistante dai lati del triangolo, mentre le bisettrici esterne si congiungono a coppie, assieme al prolungamento della bisettrice interna del terzo vertice, in un punto esterno (ex-centro) al perimetro equidistante dal loro lato comune e dai prolungamenti degli altri due lati.
la bisettrice interna e quella esterna del medesimo vertice incontrano il lato opposto e il suo prolungamento in due punti, le cui distanze dagli estremi di quest'ultimo stanno fra loro come i lati adiacenti, questa proprietà è in parte riassunta nel teorema della bisettrice.

Teoremi legati alle bisettrici interne

Primo teorema

Tutte le bisettrici interne s'intersecano in un unico punto, detto incentro, equidistante da ciascun lato del triangolo.

Il teorema afferma che le bisettrici interne sono segmenti concorrenti in quanto si incontrano in un unico punto all'interno del triangolo. L'unicità di tale punto è poi avvalorata anche dal fatto di essere l'incentro del triangolo, ossia il centro della circonferenza inscritta nel poligono (unica per sua definizione) e quindi equidistante da tutti i lati del triangolo, condizione necessaria per appartenere contemporaneamente tutte e tre le bisettrici, i punti delle quali però sono equidistanti soltanto rispetto ai due lati dell'angolo che bisecano (e non necessariamente al terzo lato del triangolo).

Il prolungamento della bisettrice, oltre il lato opposto, e quindi all'infuori dell'area poligonale, permette poi a quest'ultima di congiungersi sempre con le bisettrici, ma esterne, degli altri vertici in un secondo punto, detto ex-centro, che ha questa volta la proprietà di essere equidistante dal lato opposto e dai prolungamenti degli altri due lati.

Teorema della bisettrice

In un triangolo i lati adiacenti stanno fra loro come le parti distinte dalla bisettrice sul lato opposto.

Dato il triangolo $ABC$ e $AL$ la sua bisettrice interna in $A,$ deve valere la seguente proporzione: $CA:AB=LC:LB.$

Dimostrazione

Si considerino i triangoli

ALC

e

ABL

componenti

ABC,

avendo la stessa altezza, le loro aree staranno nel medesimo rapporto delle basi

LC

e

LB

^[3], i due segmenti evidenziati dalla bisettrice; date, però, le proprietà di quest'ultima, anche che in

L,

i due triangoli avranno la medesima altezza^[4], ragione per cui le loro aree staranno ancora nello stesso rapporto delle basi ora rappresentate da

CA

e

AB,

lati del triangolo iniziale.
Essendo dunque costante entrambe le volte il rapporto ed essendo sempre le stesse aree possiamo scrivere che:

CA:AB=LC:LB.

Corollario

Ogni bisettrice è divisa dalle altre interne in due segmenti che stanno fra loro come i lati del vertice alle porzioni omolaterali^[5] che individua sul lato opposto.

Poiché le bisettrici si incontrano in un unico punto e ognuna di queste evidenzi due triangoli complementari, il precedente corollario non è niente di più che una semplice applicazione del teorema ai triangoli da loro creati, e permette di evidenziare i seguenti rapporti:

{AI \over IL_{a}}={CA \over L_{a}C}={AB \over L_{a}B};

{CI \over IL_{c}}={CA \over L_{c}A}={BC \over L_{c}B};

{BI \over IL_{b}}={BC \over L_{b}C}={AB \over L_{b}A}.

Formulario

Formule geometriche:

l_{a}={\frac {2{\sqrt {b\,c\,p\,(p-a)}}}{b c}},\qquad l_{b}={\frac {2{\sqrt {acp(p-b)}}}{a c}},\qquad l_{c}={\frac {2{\sqrt {abp(p-c)}}}{a b}}.

Formule trigonometriche:

l_{a}={\frac {2bc}{b c}}\cos \left({\frac {\alpha }{2}}\right),\qquad l_{b}={\frac {2ac}{a c}}\cos \left({\frac {\beta }{2}}\right),\qquad l_{c}={\frac {2ab}{a b}}\cos \left({\frac {\gamma }{2}}\right).

Teoremi legati alle bisettrici esterne

Primo Teorema

Due bisettrici esterne s'intersecano in un punto, detto ex-centro, equidistante dal lato comune e dai prolungamenti dei lati rimanenti del triangolo.

Proprio come le bisettrici interne anche le esterne sono equidistanti da entrambi i lati del vertice, anche se uno di questi è rappresentato da un suo prolungamento, è quindi ovvio che, in analogia all'incentro, pure il punto d'incontro di due bisettrici esterne sia dunque equidistante dal lato comune ai vertici ed ai prolungamenti dei lati rimanenti; così come non deve stupire il fatto che per tale punto passi pure la bisettrice interna del terzo vertice.

Teorema della bisettrice (esterna)

È un teorema simile a quello della bisettrice interna, che afferma che data la bisettrice esterna del vertice $A$ questa incontra il prolungamento del lato opposto, $BC,$ in un punto $H,$ tale che $HC$ e $HB$ stanno tra loro come i lati $CA$ e $AB.$ Ossia:

CA:AB=HC:HB.

^[7]

Il teorema non è, però, sempre applicabile, mentre, infatti, la sua validità può essere verificata per tutti e tre vertici di un triangolo scaleno, nel caso dei triangoli isosceli si limita ai soli angoli congruenti (in genere quelli alla base), poiché le due bisettrici esterne del terzo vertice sono parallele^[8] al lato opposto, ed è addirittura inapplicabile per i triangoli equilateri.

Note

^ La costruzione della bisettrice è spiegata alla IX proposizione del I libro degli Elementi
^ Le bisettrici di un triangolo sono segmenti di bisettrici di angolo e perciò sono implicite le stesse proprietà di cui sopra.
^ $ALC$ e $ABL$ hanno la stessa altezza del triangolo originario rispetto alle basi $LC$ e $LB;$ considerando quindi $A_{1}$ e $A_{2}$ le loro basi si ha ${A_{1} \over A_{2}}={CL\cdot h \over LB\cdot h}={CL \over LB}$
^ Siccome la bisettrice è equidistante dai lati in ogni sui punto, in $L$ la distanza del vertice dai lati $AC$ e $AB,$ ora basi di $ALC$ e $ABL$ deve essere la stessa
^ Il lato e il segmento che si trovano dalla stessa parte, destra o sinistra, rispetto alla bisettrice
^ Il teorema è applicabile solamente alla bisettrice esterna dalla parte del lato più corto del vertice, in quanto solo da questa parte la bisettrice e il prolungamento sono convergenti.
^ Nell'impostazione della relazione, occorre prestare attenzione a quale dei due lati è quello più corto, onde evitare di invertire erroneamente il rapporto fra le coppie di segmenti.
^ Nel triangolo isoscele la bisettrice interna del vertice avente i lati uguali corrisponde con l'altezza; le bisettrici esterne dunque, essendo perpendicolari all'altezza, risultano parallele al lato opposto.