Jsou úsečky stejně dlouhé?
Rovnoramenný trojúhelník ABC má úhly 30°, 30°a 120°.
 Sestrojte osy jeho ramen a označte průsečíky těchto os se základnou AB postupně D, E.
Vyslovte tvrzení o tom, zda jsou dvě nebo dokonce tři z úseček AD, DE, EB stejně dlouhé.
Své tvrzení dokažte.
 

A = Intersect(xAxis, yAxis)
B = Point(xAxis)
B' = Rotate(B, 30*°, A)
α = Angle(B, A, B')
a = Ray(A, B')
b = LineBisector(A, B)
C = Intersect(b, a)
mnohoúhelník1, c, a_1, b_1 = Polygon(A, B, C)