DIMOSTRAZIONE Trisettore di Pascal
Poichè i triangoli APO e OAB sono isosceli, applicando il teorema dellangolo esterno si ha: OBA=OAB=2OPA; BOK=PBO+OPA=3OPA. Langolo BOK può assumere un valore massimo di 135°: ciò non costituisce un problema poichè la trisezione di un angolo qualsiasi può essere sempre ricondotta alla trisezione di un angolo acuto, essendo elementarmente risolubile la trisezione dellangolo retto. Considerato un piano π solidale con lasta OB, il punto A descrive su di esso la circonferenza γ di centro O e raggio OB, lasta a passa sempre per B e il punto P (sullasta) ha distanza costante da A.Il punto P descrive allora su π una lumaca di Pascal (vedi sotto) avente come circonferenza di base γ, polo in B e intervallo uguale al raggio della circonferenza di base: ciò è una ulteriore verifica del carattere di curva trisettrice della lumaca.
Lumaca di Pascal
- LINK: Trisettore di Pascal