$\textsf{\LARGE I}$

$\textsf{\LARGE O}$

$\textsf{\LARGE r}$

$\textsf{\LARGE A}$

$\textsf{\LARGE A^{-1}}$

$\textsf{\LARGE X}$

Ponto fixo O

T-circunferência

Ponto fixo I

Simétrico

T-mediatriz

Ponto médio

Perpendicular

Paralela

T-inversão

Se fixarmos um ponto O no plano, podemos considerar a distância do táxi
do restante dos pontos até O. Denotaremos XO como a distância T até O.

Ao fixar outro ponto I diferente de O, 
estabelecemos uma ORIENTAÇÃO O→I 
e uma reta. Tomaremos OI como unidade.

Dado um ponto A na reta r, nela só existe
outro ponto A' à mesma distância de O que A.
Este T-simétrico coincide com o E-simétrico.

Dado dois pontos distintos A e B, podemos 
encontrar todos os pontos que estão equidistantes deles.
Esta T-mediatriz não coincide com a euclidiana.

Intersectando a T-mediatriz com a reta,
obtemos o ponto médio,
que coincide com o ponto médio euclidiano.

A perpendicular é a mesma que na geometria euclidiana,
mas a projeção ortogonal de um ponto sobre uma reta
não coincide com o ponto mais próximo na reta.

Com duas perpendiculares, obtemos uma paralela à reta r.

Levando A até a horizontal que passa por O
e invertendo esse ponto na circunferência pontilhada,
criamos triângulos semelhantes que garantem a T-inversão.

Se B = A, tomamos A como ponto médio.

O ponto O não tem inverso.
I e I' são inversos de si mesmos.
O inverso do inverso de A é A.
T-A⁻¹ não coincide com E-A⁻¹.

Os pontos que estão T-equidistantes de O formam um quadrado. Se o raio for r, o perímetro é 8r, então:       

$\textsf{\LARGE B}$

$\textsf{\LARGE I'}$

 +

Se A=O, tomamos A'=O

Podemos continuar pensando nas T-retas como se fossem E-retas,
já que apenas muda o modo de medir cada segmento.

Lembrando que os pixels fazem com que a própria reta desenhada 
pelo GeoGebra seja formada por segmentos horizontais e verticais!

$\textsf{\LARGE A'}$

Zoom sobre pixelizado

\frac{E-circunferência}{E-diâmetro}= π \\\\frac{T-circunferência}{T-diâmetro}= 4

$\textsf{\LARGE Q}$

$\textsf{\LARGE P'}$

XO - r = 0

XO(x,y) := |x – x(O)| + |y – y(O)|

I = (0.75, 0.5)
O: (0, 2.25)
r = Line(O, I)
A = Point(r)
dA: abs(x(A - O)) + abs(y(A - O))
G: (x(A), y(O))
dI: abs(x(I - O)) + abs(y(I - O))
c = Circle(O, (x(I), y(O)))
G' = Mirror(G, c)
V = Intersect(r, Line[G', G' + (0, 1)])
P: (2.5, 5.5)
anima1 = 0.46 (slider from 0 to 1)
c2 = Polygon(O - (4, 0), O - (0, 4), 4)
op1 = true
op2 = false
op3 = false
op4 = false
op5 = false
op6 = false
op7 = false
op8 = false
op9 = false
B = Point(r)
I' = Mirror(I, O)
K = Point(c2)
A1: O + (anima1 * (P - O))
a = PathParameter(A)
Ex: (x(A1), y(O))
Ey: (x(O), y(A1))
l1: {Polygon[O, (x(O), y(A1)), A1, (x(A1), y(O))]}
polígono4 = Polygon(O - (dA, 0), O - (0, dA), 4)
s1 = Sequence(Polygon[O - (Max[0, k + (anima1 * (abs(x(P - O)) + abs(y(P - O))))], 0), O - (0, Max[0, k + (anima1 * (abs(x(P - O)) + abs(y(P - O))))]), 4], k, -5, 20, 0.5)
dAB: abs(x(A - B)) + abs(y(A - B))
J: A + Vector[A, B] / 2
f: y = x + y(J) - x(J)
polAB, a_1, g, b, i = Polygon(A, (x(A), y(B)), B, (x(B), y(A)))
L, M = Intersect(f, polAB)
j = Segment(M, L)
polígono1c = Polygon(A - (dAB, 0), A - (0, dAB), 4)
polígono2c = Polygon(B - (dAB, 0), B - (0, dAB), 4)
N, Q, N_1, N_2 = Intersect(polígono1c, polígono2c)
l = If(x(M) ≟ x(N) ∨ y(M) ≟ y(N), Ray[M, N], Ray[L, N])
k = Ray(If[Defined[M] ∧ x(L) ≠ x(Q) ∧ y(L) ≠ y(Q), M, L], Q)
D: (0.99, -1.7)
A' = Mirror(A, O)
F = Intersect(j, r)
h = OrthogonalLine(P, r)
m = Line(P, r)
polígono9 = Polygon(O - (dI, 0), O - (0, dI), 4)
n = Line(G', G' + (0, 1))
dV: abs(x(V) - x(O)) + abs(y(V) - y(O))
t1: {Polygon[O, G, A]}
p = Segment(V, G')
t2: {Polygon[O, G', V]}
d = Circle(F, B)
polígono6 = Polygon(F - (dAB / 2, 0), F - (0, dAB / 2), 4)
e = Circle(O, A)
H = (-7.5, -4)
R = (-6.351685552214645, -4)
T = (18.59, -2.5)
W = (18.59, -7.25)
pix = false
l2 = Segment(K, O)
anima4 = 0.563 (slider from 0 to 1)
l3 = Sequence(Point[e, Mod[anima4 + k, 2] / 2], k, 0, 2, 0.1)
q = Line(P, yAxis)
S = Intersect(r, q)
U = Intersect(h, r)
ec1:=XO - 4 = 0
s = Segment((x(I), y(O)), I)