\text{Os úsečky }a=AB

dĺžka úsečky:

polomer kružnice:

| AC| =| BC|

\triangle ABC_1 - \text{rovnostranný

\triangle ACC_1≅\triangle BCC_1  \;  \; ⇒ \;  \; ∡ACC_1≅∡BCC_1 \;  \; ... \;  \; \text{Základy I/8, 9, 10

S=CC_1∩AB  :\triangle ASC≅\triangle BSC\;  ⇒  \; \left| AS \right| ≅\left| AS \right|    \;  \;   \;  \; ...\;  \;  \;  \;  \text{Základy I/11

\triangle ASC≅\triangle BSC\;  \;⇒\;  \;∡ASC=∡BSC=90° :  

o=CC_1

\text{os } o=CC_1  \text{ je kolmá na úsečku }AB

\text{os }o \text{ prechádza stredom úsečky }AB

A = (12, 0)
a = 8 (slider from 0 to 12, step 0.1)
B = Point(Circle[A, a])
f = Segment(A, B)
r = 10 (slider from 0 to 15, step 0.1)
k_1 = Circle(A, r)
k_2 = Circle(B, r)
C = Intersect(k_2, k_1, 2)
j = Segment(A, C)
m = Segment(C, B)
k = Ray(C, A)
l = Ray(C, B)
mnohouholník1, g, h, i, C_{1} = Polygon(B, A, 3)
t1, c_{1}, a_1, c = Polygon(A, C, C_{1})
o = Line(C, C_{1})
S = Intersect(a_1, g)