![]() | ![]() | ![]() | Numeri Irrazionali |
Una costruzione classica riguardante i numeri irrazionali e nota come Spirale di Teodoro permette di costruire geometricamente le radici quadrate dei numeri interi a partire da un triangolo rettangolo isoscele avente cateti di lunghezza unitaria.
Consideriamo il triangolo OAB di figura in cui OA=1:
La natura iterativa della costruzione si presta ad un trattamento tramite FSD. Consideriamo allora il seguente codice Scheme:
(new-figure "Triangoli")
(define (triangle p1 p2 p3 n)
(let* ((s1 (Segment "" extremities p1 p2))
(s2 (Segment "" extremities p2 p3))
(s3 (Segment "" extremities p3 p1))
(pe (Line "" orthogonal p3 s3))
(ci (Circle "" center-segment p3 s2))
(p4 (Point "" intersection2 pe ci)))
(send pe masked)
(send ci masked)
(send p4 masked)
(if (> n 0)
(triangle p1 p3 p4 (- n 1)))))
(lets Point "O" free 0 0)
(lets Point "A" free -1 0)
(lets Point "B" free -1 1)
(triangle O A B 15)
Il triangolo di partenza è definito attraverso le coordinate esclusivamente per comodità. Il codice è la trascrizione letterale del procedimento iterativo descritto sopra. Una volta valutato da DR. GEO viene restituita la figura seguente:
![]() | ![]() | ![]() | Numeri Irrazionali |