Segments de longitud irracional.

La hipotenusa compleix naturalment el T. de Pitàgores

c  = arrel ( a2 + b2 )

A = Point(xAxis)
B = Point(xAxis)
r = OrthogonalLine(B, xAxis)
C = Point(r)
a = Segment(A, B)
b = Segment(B, C)
c = Segment(A, C)
suma: a² + b²
hip2: c²
d = Circle(A, C)
D, E = Intersect(d, xAxis)
e = Circle(A, C)