P_0 = Intersect(xAxis, yAxis)
M_c = Point(xAxis)
c = Circle(P_0, M_c)

Tool: hPriamka
Ukáž na dva body
Input: B, A
Output: hPriamka

A' = Mirror(A, Circle[(0, 0), 1])
B' = Mirror(B, Circle[(0, 0), 1])
k = If(Length[A] ≟ 1, Circle[A, B, B'], Circle[A, B, A'])
Q = Intersect(k, Circle[(0, 0), 1], 1)
P = Intersect(k, Circle[(0, 0), 1], 2)
M = If(Length[A] ≟ 1, B, A)
Obluk = CircumcircleArc(P, M, Q)
Diameter = AreCollinear((0, 0), A, B)
D = Intersect(Circle[(0, 0), 1], Line[A, B], 1)
S_P: (1000 * Rotate[D, 90°])
k_P = Circle(S_P, 1000)
P_D = Intersect(Circle[(0, 0), 1], k_P, 1)
Q_D = Intersect(Circle[(0, 0), 1], k_P, 2)
OblukD = CircumcircleArc(P_D, (0, 0), Q_D)
Nevlastne: Length[A] ≟ 1 ∧ Length[B] ≟ 1
t_{1N} = OrthogonalLine(A, Line[(0, 0), A])
t_{2N} = OrthogonalLine(B, Line[(0, 0), B])
S_N = Intersect(t_{1N}, t_{2N})
k_N = Circle(S_N, A)
M_N = Intersect(k_N, Ray[S_N, Midpoint[A, B]])
OblukN = CircumcircleArc(A, M_N, B)
hPriamka = If(Diameter, OblukD, If[Nevlastne, OblukN, Obluk])

Tool: hUsecka
Zvoľte dva rôzne body
Input: A, B
Output: g

d = hPriamka(A, B)
C = Center(d)
e = CircleArc(C, B, A)
f = CircleArc(C, A, B)
g = If(e ≤ f, e, f)

Tool: VzdialenostBodov
Klikni na dva body
Input: B, A
Output: text1

a: (y * y(B)) = (-((x(B))^(2) + (y(B))^(2) + (x(B) * x) + 1))
b: (y * y(A)) = (-((x(A))^(2) + (y(A))^(2) + (x(A) * x) + 1))
C = Intersect(a, b)
d: x(C)
e: y(C)
D: (((-d)) / 2, ((-e)) / 2)
f = Circle(D, A)
E = Point({Intersect[x^(2) + y^(2) = 1, f]}, If[Angle[B, D, A] < 180°, 1, 0])
F = Point({Intersect[x^(2) + y^(2) = 1, f]}, If[Angle[B, D, A] < 180°, 0, 1])
g = Ray(B, A)
h = Ray(A, B)
G = Intersect(x^(2) + y^(2) = 1, g)
H = Intersect(x^(2) + y^(2) = 1, h)
I = If(Defined[D], E, G)
J = If(Defined[D], F, H)
VzdialAI = Distance(A, I)
VzdialAJ = Distance(A, J)
VzdialBI = Distance(B, I)
VzdialBJ = Distance(B, J)
j = If(VzdialAI ≟ 0 ∨ VzdialAJ ≟ 0 ∨ VzdialBI ≟ 0 ∨ VzdialBJ ≟ 0, Infinity, abs(ln(((VzdialBI * VzdialAJ)) / ((VzdialAI * VzdialBJ)))))
K = Midpoint(A, B)
text1: "" + (LaTeX[j]) + ""

Tool: hkruznica
Zadaj stred a potom bod kružnice
Input: B, A
Output: p

d = hPriamka(A, B)
f = Line((0, 0), B)
E = Center(d)
e = Circle(E, A)
i = Tangent(A, e)
G = Intersect(f, i)
p = Circle(G, A)

Tool: hKruznicaPolomerCislo
Zvoľte stred a zadajte číslo=polomer
Input: A, a
Output: p

b: y = (y(A) / x(A) * x)
C, D = Intersect(x^(2) + y^(2) = 1, b)
d: (((-x(A)) * ((((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((-2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((-2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((-2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((-2 * a))) * y(A)) * y(C)) * (y(D))^(2)))) - (((x(A))^(2) * ((((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((-2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((-2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((-2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((-2 * a))) * y(A)) * y(C)) * (y(D))^(2)))^(2)) + (((4 * (x(A))^(2)) * ((x(A))^(4) - (ℯ^((-2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((-2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((-2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((-2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((-2 * a)) * (y(A))^(2)) * (y(D))^(2)))) * (((ℯ^((-2 * a)) * (x(A))^(2)) * (x(C))^(2)) - ((((2 * ℯ^((-2 * a))) * x(A)) * (x(C))^(2)) * x(D)) - ((x(A))^(2) * (x(D))^(2)) + (((2 * x(A)) * x(C)) * (x(D))^(2)) - ((x(C))^(2) * (x(D))^(2)) + ((ℯ^((-2 * a)) * (x(C))^(2)) * (x(D))^(2)) + ((ℯ^((-2 * a)) * (x(C))^(2)) * (y(A))^(2)) - ((x(D))^(2) * (y(A))^(2)) + (((2 * (x(D))^(2)) * y(A)) * y(C)) + ((ℯ^((-2 * a)) * (x(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((-2 * a))) * x(A)) * x(D)) * (y(C))^(2)) - ((x(D))^(2) * (y(C))^(2)) + ((ℯ^((-2 * a)) * (x(D))^(2)) * (y(C))^(2)) + ((ℯ^((-2 * a)) * (y(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((-2 * a))) * (x(C))^(2)) * y(A)) * y(D)) - ((((2 * ℯ^((-2 * a))) * y(A)) * (y(C))^(2)) * y(D)) - ((x(A))^(2) * (y(D))^(2)) + (((2 * x(A)) * x(C)) * (y(D))^(2)) - ((x(C))^(2) * (y(D))^(2)) + ((ℯ^((-2 * a)) * (x(C))^(2)) * (y(D))^(2)) - ((y(A))^(2) * (y(D))^(2)) + (((2 * y(A)) * y(C)) * (y(D))^(2)) - ((y(C))^(2) * (y(D))^(2)) + ((ℯ^((-2 * a)) * (y(C))^(2)) * (y(D))^(2)))))^(1 / 2)) / ((2 * ((x(A))^(4) - (ℯ^((-2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((-2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((-2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((-2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((-2 * a)) * (y(A))^(2)) * (y(D))^(2)))))
e: (((-x(A)) * ((((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((2 * a))) * y(A)) * y(C)) * (y(D))^(2)))) - (((x(A))^(2) * ((((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((2 * a))) * y(A)) * y(C)) * (y(D))^(2)))^(2)) + (((4 * (x(A))^(2)) * ((x(A))^(4) - (ℯ^((2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((2 * a)) * (y(A))^(2)) * (y(D))^(2)))) * (((ℯ^((2 * a)) * (x(A))^(2)) * (x(C))^(2)) - ((((2 * ℯ^((2 * a))) * x(A)) * (x(C))^(2)) * x(D)) - ((x(A))^(2) * (x(D))^(2)) + (((2 * x(A)) * x(C)) * (x(D))^(2)) - ((x(C))^(2) * (x(D))^(2)) + ((ℯ^((2 * a)) * (x(C))^(2)) * (x(D))^(2)) + ((ℯ^((2 * a)) * (x(C))^(2)) * (y(A))^(2)) - ((x(D))^(2) * (y(A))^(2)) + (((2 * (x(D))^(2)) * y(A)) * y(C)) + ((ℯ^((2 * a)) * (x(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((2 * a))) * x(A)) * x(D)) * (y(C))^(2)) - ((x(D))^(2) * (y(C))^(2)) + ((ℯ^((2 * a)) * (x(D))^(2)) * (y(C))^(2)) + ((ℯ^((2 * a)) * (y(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((2 * a))) * (x(C))^(2)) * y(A)) * y(D)) - ((((2 * ℯ^((2 * a))) * y(A)) * (y(C))^(2)) * y(D)) - ((x(A))^(2) * (y(D))^(2)) + (((2 * x(A)) * x(C)) * (y(D))^(2)) - ((x(C))^(2) * (y(D))^(2)) + ((ℯ^((2 * a)) * (x(C))^(2)) * (y(D))^(2)) - ((y(A))^(2) * (y(D))^(2)) + (((2 * y(A)) * y(C)) * (y(D))^(2)) - ((y(C))^(2) * (y(D))^(2)) + ((ℯ^((2 * a)) * (y(C))^(2)) * (y(D))^(2)))))^(1 / 2)) / ((2 * ((x(A))^(4) - (ℯ^((2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((2 * a)) * (y(A))^(2)) * (y(D))^(2)))))
f: (((-x(A)) * ((((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((2 * a))) * y(A)) * y(C)) * (y(D))^(2)))) + (((x(A))^(2) * ((((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((2 * a))) * y(A)) * y(C)) * (y(D))^(2)))^(2)) + (((4 * (x(A))^(2)) * ((x(A))^(4) - (ℯ^((2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((2 * a)) * (y(A))^(2)) * (y(D))^(2)))) * (((ℯ^((2 * a)) * (x(A))^(2)) * (x(C))^(2)) - ((((2 * ℯ^((2 * a))) * x(A)) * (x(C))^(2)) * x(D)) - ((x(A))^(2) * (x(D))^(2)) + (((2 * x(A)) * x(C)) * (x(D))^(2)) - ((x(C))^(2) * (x(D))^(2)) + ((ℯ^((2 * a)) * (x(C))^(2)) * (x(D))^(2)) + ((ℯ^((2 * a)) * (x(C))^(2)) * (y(A))^(2)) - ((x(D))^(2) * (y(A))^(2)) + (((2 * (x(D))^(2)) * y(A)) * y(C)) + ((ℯ^((2 * a)) * (x(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((2 * a))) * x(A)) * x(D)) * (y(C))^(2)) - ((x(D))^(2) * (y(C))^(2)) + ((ℯ^((2 * a)) * (x(D))^(2)) * (y(C))^(2)) + ((ℯ^((2 * a)) * (y(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((2 * a))) * (x(C))^(2)) * y(A)) * y(D)) - ((((2 * ℯ^((2 * a))) * y(A)) * (y(C))^(2)) * y(D)) - ((x(A))^(2) * (y(D))^(2)) + (((2 * x(A)) * x(C)) * (y(D))^(2)) - ((x(C))^(2) * (y(D))^(2)) + ((ℯ^((2 * a)) * (x(C))^(2)) * (y(D))^(2)) - ((y(A))^(2) * (y(D))^(2)) + (((2 * y(A)) * y(C)) * (y(D))^(2)) - ((y(C))^(2) * (y(D))^(2)) + ((ℯ^((2 * a)) * (y(C))^(2)) * (y(D))^(2)))))^(1 / 2)) / ((2 * ((x(A))^(4) - (ℯ^((2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((2 * a)) * (y(A))^(2)) * (y(D))^(2)))))
g: (((-x(A)) * ((((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((-2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((-2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((-2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((-2 * a))) * y(A)) * y(C)) * (y(D))^(2)))) + (((x(A))^(2) * ((((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(C)) - ((2 * (x(A))^(3)) * x(D)) + (((4 * (x(A))^(2)) * x(C)) * x(D)) - ((((4 * ℯ^((-2 * a))) * (x(A))^(2)) * x(C)) * x(D)) - (((2 * x(A)) * (x(C))^(2)) * x(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (x(D))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(A))^(2)) - (((2 * x(A)) * x(D)) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(C)) + ((((4 * x(A)) * x(D)) * y(A)) * y(C)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(D)) * y(A)) * y(C)) + ((((2 * ℯ^((-2 * a))) * (x(D))^(2)) * y(A)) * y(C)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(C)) - (((2 * x(A)) * x(D)) * (y(C))^(2)) - (((2 * (x(A))^(2)) * y(A)) * y(D)) + ((((4 * x(A)) * x(C)) * y(A)) * y(D)) - (((((4 * ℯ^((-2 * a))) * x(A)) * x(C)) * y(A)) * y(D)) - (((2 * (x(C))^(2)) * y(A)) * y(D)) - ((2 * (y(A))^(3)) * y(D)) + (((4 * (y(A))^(2)) * y(C)) * y(D)) - ((((4 * ℯ^((-2 * a))) * (y(A))^(2)) * y(C)) * y(D)) - (((2 * y(A)) * (y(C))^(2)) * y(D)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(C)) * (y(D))^(2)) + ((((2 * ℯ^((-2 * a))) * y(A)) * y(C)) * (y(D))^(2)))^(2)) + (((4 * (x(A))^(2)) * ((x(A))^(4) - (ℯ^((-2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((-2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((-2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((-2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((-2 * a)) * (y(A))^(2)) * (y(D))^(2)))) * (((ℯ^((-2 * a)) * (x(A))^(2)) * (x(C))^(2)) - ((((2 * ℯ^((-2 * a))) * x(A)) * (x(C))^(2)) * x(D)) - ((x(A))^(2) * (x(D))^(2)) + (((2 * x(A)) * x(C)) * (x(D))^(2)) - ((x(C))^(2) * (x(D))^(2)) + ((ℯ^((-2 * a)) * (x(C))^(2)) * (x(D))^(2)) + ((ℯ^((-2 * a)) * (x(C))^(2)) * (y(A))^(2)) - ((x(D))^(2) * (y(A))^(2)) + (((2 * (x(D))^(2)) * y(A)) * y(C)) + ((ℯ^((-2 * a)) * (x(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((-2 * a))) * x(A)) * x(D)) * (y(C))^(2)) - ((x(D))^(2) * (y(C))^(2)) + ((ℯ^((-2 * a)) * (x(D))^(2)) * (y(C))^(2)) + ((ℯ^((-2 * a)) * (y(A))^(2)) * (y(C))^(2)) - ((((2 * ℯ^((-2 * a))) * (x(C))^(2)) * y(A)) * y(D)) - ((((2 * ℯ^((-2 * a))) * y(A)) * (y(C))^(2)) * y(D)) - ((x(A))^(2) * (y(D))^(2)) + (((2 * x(A)) * x(C)) * (y(D))^(2)) - ((x(C))^(2) * (y(D))^(2)) + ((ℯ^((-2 * a)) * (x(C))^(2)) * (y(D))^(2)) - ((y(A))^(2) * (y(D))^(2)) + (((2 * y(A)) * y(C)) * (y(D))^(2)) - ((y(C))^(2) * (y(D))^(2)) + ((ℯ^((-2 * a)) * (y(C))^(2)) * (y(D))^(2)))))^(1 / 2)) / ((2 * ((x(A))^(4) - (ℯ^((-2 * a)) * (x(A))^(4)) - ((2 * (x(A))^(3)) * x(C)) + ((x(A))^(2) * (x(C))^(2)) + (((2 * ℯ^((-2 * a))) * (x(A))^(3)) * x(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (x(D))^(2)) + ((2 * (x(A))^(2)) * (y(A))^(2)) - (((2 * ℯ^((-2 * a))) * (x(A))^(2)) * (y(A))^(2)) - (((2 * x(A)) * x(C)) * (y(A))^(2)) + ((x(C))^(2) * (y(A))^(2)) + ((((2 * ℯ^((-2 * a))) * x(A)) * x(D)) * (y(A))^(2)) - ((ℯ^((-2 * a)) * (x(D))^(2)) * (y(A))^(2)) + (y(A))^(4) - (ℯ^((-2 * a)) * (y(A))^(4)) - (((2 * (x(A))^(2)) * y(A)) * y(C)) - ((2 * (y(A))^(3)) * y(C)) + ((x(A))^(2) * (y(C))^(2)) + ((y(A))^(2) * (y(C))^(2)) + ((((2 * ℯ^((-2 * a))) * (x(A))^(2)) * y(A)) * y(D)) + (((2 * ℯ^((-2 * a))) * (y(A))^(3)) * y(D)) - ((ℯ^((-2 * a)) * (x(A))^(2)) * (y(D))^(2)) - ((ℯ^((-2 * a)) * (y(A))^(2)) * (y(D))^(2)))))
h = If(abs(d) < abs(x(C)), d, f)
i = If(h ≟ d, e, g)
j: ((y(A) * h)) / x(A)
E: (h, j)
k: ((y(A) * i)) / x(A)
F: (i, k)
l: (1 - ℯ^(a) - (y(A) * (1 + ℯ^(a)))) / (-1 - ℯ^(a) + (y(A) * (1 - ℯ^(a))))
G: (0, l)
m: (1 - ℯ^((-a)) - (y(A) * (1 + ℯ^((-a))))) / (-1 - ℯ^((-a)) + (y(A) * (1 - ℯ^((-a)))))
H: (0, m)
I = If(x(A) ≠ 0, E, G)
J = If(x(A) ≠ 0, F, H)
K = Midpoint(I, J)
p = Circle(K, I)

Tool: hKruznica_r_DvaBody
hKruznica_r_DvaBody[ <Bod>, <Bod>, <Bod> ]
Input: A, B, C
Output: k'

A' = Mirror(A, Circle[(0, 0), 1])
B' = Mirror(B, Circle[(0, 0), 1])
f = Ray((0, 0), A')
g = Ray((0, 0), B')
h = OrthogonalLine(A, f)
i = OrthogonalLine(B, g)
D = Intersect(Circle[(0, 0), 1], h, 2)
E = Intersect(Circle[(0, 0), 1], i, 1)
e = Circle(A', D)
C' = Mirror(C, Circle[B', E])
k = Circle((0, 0), C')
k' = Mirror(k, e)

Tool: hPriesecnik
Vyber dve hyperbolické priamky - vytvorí sa ich priesečník
Input: d, e
Output: I

I = If(Defined[Intersect[d, e, 1]], Intersect[d, e, 1], Intersect[d, e, 2])