$\textsf{\LARGE B}$

$\textsf{\LARGE C}$

E-ilusión

El cuadrado azul parece variar de tamaño, pero solo es un problema de percepción
que desaparece al ver completamente sus lados (pulsa sobre el cuadrado azul).

T-realidad

En cambio, en la geometría taxista, el cuadrado azul realmente
varía su área según sea la pendiente de sus lados (mientras que tanto
la T-longitud de sus lados como sus ángulos permanecen constantes).

Métrica T

En la métrica Taxista (o Manhattan) las distancias se miden en horizontal y vertical, nunca en diagonal.
Así, la T-distancia entre B y C es la suma de las diferencias horizontales y verticales de sus coordenadas.

$\textsf{\LARGE c}$

$\textsf{\LARGE b}$

BC=\c+b=\|x_C - x_B|+|y_C-y_B|

T-Pitágoras

$\textsf{\LARGE a}$

Al igual que GeoGebra representa un segmento ajustándolo a la cuadrícula de píxeles,
podemos imaginar un segmento en diagonal compuesto de tramos horizontales o verticales
tan pequeños como queramos: la T-distancia entre B y C no variará.

a=b+c

El cuadrado en detalle

El T-perímetro del cuadrado azul 
y del cuadrado amarillo
es el mismo, pero el área no lo es:

El área del cuadrado amarillo
es (b+c)² pero el área del 
cuadrado azul es b²+c²,
que es mínima cuando b=c.

a

a

a

b

c

b

c

b

c

b

c

Por lo tanto, en la geometría taxista las T-áreas coinciden con las E-áreas,
pero el área de un T-cuadrado NO es igual, en general, al cuadrado del lado.

Explicación: cuando las 
esquinas son visibles, 
estimamos el tamaño
del cuadrado 
por su diagonal;
cuando no lo son, 
lo valoramos
por la distancia entre
lados opuestos 
(longitud del lado).

Compresión circular

Debido a que la T-longitud no es uniforme en cada dirección,
la T-circunferencia se comprime en una forma cuadrada,
con sus diagonales paralelas a los ejes cartesianos.

T-Magritte

La T-distancia entre B y C también será la misma 
para cualquier arco creciente o decreciente de una función.
Esto significa que hay infinitos caminos diferentes 
para ir de B a C en el menor tiempo posible.

T-longitud de arco

$\textsf{\LARGE a}$

Usaré los prefijos T y E para distinguir métrica Taxista de métrica Euclídea. 

T-Pitágoras (?)

Lo anterior parece que facilita mucho el cálculo; 
sin embargo, en realidad lo complica. 
Esto se debe a que la longitud de cada segmento
no es uniforme en la dirección, sino que depende de su pendiente.

$\textsf{\LARGE a}$

$\textsf{\LARGE c}$

$\textsf{\LARGE b}$

a \; ≠ \; b + c \
a^2 \; ≠  \; b^2 + c^2

B = (0, 0.25)
C = (5, 3.75)
M = Point(Segment[(x(B), y(C)), C])
L = Point(Segment[(x(M), y(B)), M])
K = Point(Segment[(x(B), y(L)), L])
J = Point(Segment[(x(K), y(B)), K])
I = Point(Segment[(x(B), y(J)), J])
H = Point(Segment[(x(I), y(B)), I])
O' = (7, 3.25)
a_2 = 4
b = 1
r: a_2 + b / 4
O = (5.75, 1.25)
polígono1, f, g, h, i = Polygon(O - (r, 0), O - (0, r), O + (r, 0), O + (0, r))
c = Circle(O, r)
S = Point(c)
radio = Segment(O, S)
P: O - (a_2 + b / 2, ((-b)) / 2)
α = 2.2095868330248214 rad (slider from 0 to 6.283185307179586, step 0.0017453292519943296)
C_1: O + (r, 0)
C' = Rotate(C_1, α, O)
C'' = Mirror(C', O)
d = LineBisector(C', C'')
Transparencia: 0
D, E = Intersect(c, d)
c1: {Polygon[P, P + (a_2, 0), P + (a_2, a_2), P + (0, a_2)]}
c2: {Polygon[P + (a_2 + b, 0), P + ((2 * a_2) + b, 0), P + ((2 * a_2) + b, a_2), P + (a_2 + b, a_2)]}
c3: {Polygon[P + (0, (-a_2) - b), P + (a_2, (-a_2) - b), P + (a_2, (-b)), P + (0, (-b))]}
c4: {Polygon[P + (a_2 + b, (-a_2) - b), P + ((2 * a_2) + b, (-a_2) - b), P + ((2 * a_2) + b, (-b)), P + (a_2 + b, (-b))]}
op5 = false
op6 = false
cc, s1, s2, s3, s4 = Polygon(C', D, C'', E)
F = Intersect(radio, polígono1)
opacidad = 0.9
F' = Rotate(F, 90°, O)
F'_1 = Mirror(F, O)
F'' = Mirror(F', O)
c5, f_1, f', f'_1, f'' = Polygon(F, F', F'_1, F'')
op1 = false
G = Point(Segment[(x(B), y(H)), H])
j = Segment(B, G)
k = Segment(G, H)
l = Segment(H, I)
m = Segment(I, J)
n = Segment(J, K)
p = Segment(K, L)
q = Segment(L, M)
s = Segment(M, C)
N: (x(C), y(B))
t = Segment(B, N)
e = Segment(N, C)
op2 = false
g_1 = Segment(B, C)
op7 = false
A = Point(i)
A' = Rotate(A, 90°, O)
A'_1 = Mirror(A, O)
A'' = Mirror(A', O)
c6, a, a'_2, a'_1, a'' = Polygon(A, A', A'_1, A'')
Q: (x(A''), y(A))
R: (x(A''), y(A'_1))
Q' = Mirror(Q, O)
R' = Mirror(R, O)
h_1 = Segment(A', Q')
i_1 = Segment(Q', A'_1)
j_1 = Segment(A'_1, R)
k_1 = Segment(R, A'')
l_1 = Segment(A'', Q)
m_1 = Segment(Q, A)
n_1 = Segment(A, R')
p_1 = Segment(R', A')
op8 = false
q_1 = Segment(O, F)
c_1 = Arc(c, O + (0, r), O - (r, 0))
d_1 = Arc(c, O - (r, 0), O - (0, r))
e_1 = Arc(c, O - (0, r), O + (r, 0))
r_1 = Arc(c, O + (r, 0), O + (0, r))
u = Vector(O + (sqrt(2) / 2 * (r, r)), O + (0.5 * (r, r)))
v = Vector(O - (sqrt(2) / 2 * (r, r)), O - (0.5 * (r, r)))
w = Vector(O + (sqrt(2) / 2 * ((-r), r)), O + (0.5 * ((-r), r)))
u_1 = Vector(O - (sqrt(2) / 2 * ((-r), r)), O - (0.5 * ((-r), r)))
polígono1', s_1, t_1, a_1, b_1 = Polygon(O' - (r, 0), O' - (0, r), O' + (r, 0), O' + (0, r))
op0 = true
polígono1'', f_2, g_2, h_2, i_2 = Polygon(O' - (r, 0), O' - (0, r), O' + (r, 0), O' + (0, r))
T = (-0.25, -3.25)
U = (14.42, -3.25)
ii = Segment(O + (0, r), O - (r, 0))
hh = Segment(O + (r, 0), O + (0, r))
ff = Segment(O - (r, 0), O - (0, r))
gg = Segment(O - (0, r), O + (r, 0))
op3 = false
V = (1.5, 1.5)
W = (2.5, 2.75)
Z = (4, 3)
A_1 = (1, 0.75)
B_1 = (1.75, 2.5)
o = Spline({B, A_1, V, B_1, W, Z, C}, 3)
D_1 = (-0.75, -0.75)
E_1 = (6.25, -0.75)
F_1 = (6.25, 4.5)
G_1 = (-0.75, 4.5)
c7, j_2, k_2, l_2, m_2 = Polygon(D_1, E_1, F_1, G_1)
l1: {Polygon[Q, R', 4]}
op4 = false
a' = Segment(B, C)
c_2 = Semicircle(C, B)
N' = Point(c_2)
c' = Segment(B, N')
b' = Segment(C, N')
H_1 = (-0.25, -3.5)
I_1 = (14.804545454545448, -3.5)
J_1 = (-4, -5.5)
K_1 = (1.5, -5.5)