 \text{ Most cez rieku

\text{Posunutie: }τ_\hat{u}(A)=A'

$C$

C∈\overleftrightarrow{A'B} \text{ resp. }C_1∈\overleftrightarrow{A'B} 

$C_1$

$C^{-u}$

 \text{Dĺžka cesty bez mosta } 

$C_2 - pohybuj$

${C_2}^u$

$B^{-u} $

\text{K úplnosti je nutné dokázať, že body }A,C^{-u},B^{-u} \text{ sú kolineárne.

P = (0, 5)
f = Line(P, x = 0)
p = OrthogonalLine(P, f)
Q = Point(f)
q = OrthogonalLine(Q, f)
A = (0.722479338842978, 7.749917355371898)
B = (8.656363636363645, 1.7499173553719016)
u = Vector(P, Q)
d = Length(u)
A' = Translate(A, u)
v = Vector(A, A')
k = Line(A', B)
C = Intersect(q, k)
v_B = Distance(B, q)
v_A = Distance(A, p)
C_{1} = Intersect(p, k)
text6: "\text{Ak vzdialenosť }A\text{ od }p: \\
\text{ }\\
 \;  \;  \;  \;  \; d_p=  " + (LaTeX[v_A]) + "    \\ 
\text{ }\\
\text{ je väčšia alebo rovná ako vzdialenosť }B\text{ od }q:\\
\text{ }\\
\;  \;  \;  \;  \; d_q= " + (LaTeX[v_B]) + "    ,\\
\text{tak }\\
\text{ }\\
 \;  \;  \;  \;  \; C=k∩q,\\
\text{ }\\
 \text{ak nie, tak  }\\
\text{ }\\
\;  \;  \;  \;  \; C_1=k∩p,\\"
p_{1}: x(P)
j = OrthogonalLine(C, q)
C_{-u} = Intersect(p, j)
n = Segment(B, C)
r = Segment(C, C_{-u})
s = Segment(C_{-u}, A)
E = (10, 1)
F = (10, 0)
G = Midpoint(E, F)
d_z: n + s
text3: "\text{∙ \green {zelená:}  } \;  \;  \;  \green {  " + (LaTeX[d_z]) + "   }"
i_1 = OrthogonalLine(C_{1}, p)
g = Line(A, B)
AF = Distance(A, C_{-u})
EB = Distance(C, B)
C_2 = Point(p)
h = OrthogonalLine(C_2, p)
D = Intersect(h, q)
i = Segment(A, C_2)
l = Segment(C_2, D)
m = Segment(D, B)
d_m: i + m
text1: "\text{∙ \blue {modrá}:  } \blue { " + (LaTeX[d_m]) + "}"
w: (-u)
B' = Translate(B, w)
e = Vector(B, B')
f_1 = Segment(A, B')
t2, t, a, b = Polygon(A, B', C_2)
text7: "\text{Podľa trojuholníkovej nerovnosti bude v  }\triangle AB'C_2\\
\text{ }\\
 \;  \;  \;  \;  \; " + (LaTeX[d_z]) + " =\left| AB' \right| <\left| B' C_2 \right| +\left| AC_2 \right| =" + (LaTeX[d_m]) + ""