# Geometria do táxi

A Geometria do táxi, considerada por Hermann Minkowski no século XIX, é uma forma de geometria em que a usual métrica da geometria euclidiana é substituída por uma nova métrica em que a distância entre dois pontos é a soma das diferenças absolutas de suas coordenadas. A métrica do táxi é também conhecida como distância L$_1$, ou distância de Manhattan, com variações correspondentes no nome da geometria. O último nome faz alusão ao formato quadriculado da maior parte das ruas na ilha de Manhattan. Tal configuração faz com que a menor distância a ser percorrida por um carro que vai de um ponto a outro na cidade tenha como valor aquele número fornecido pela métrica L$_1$.
A distância de Manhattan é comumente utilizada em desenvolvimento de jogos como uma heurística para o Algoritmo A*.

## Descrição formal

A taxi-distância entre dois pontos em um espaço euclidiano com sistema de coordenadas cartesianas fixado é a soma dos comprimentos das projeções do segmento de reta que liga os pontos sobre os eixos coordenados. Por exemplo, no plano, a taxi-distancia entre o ponto P$_1$ com coordenadas (x$_1$, y$_1$) e o ponto P$_2$ em (x$_2$, y$_2$) é |x$_1$ - x$_2$| + |y$_1$ - y$_2$|.
A taxi-distância depende da rotação do sistema de coordenadas, mas não depende de sua reflexão em torno de um eixo ou suas translações. A geometria do taxi satisfaz todos os Axiomas de Hilbert exceto o axioma lado-ângulo-lado, como se pode ver ao gerar dois triângulos, cada um com duas faces e um ângulo sendo o mesmo, e ainda assim sem ser congruêntes.
Um circunferência é um conjunto de pontos com uma distância fixa, chamada de raio, até um ponto chamado centro. Na geometria do táxi, a distância é determinada por uma métrica diferente da Euclidiana geometria, e a forma das circunferências também mudam. As táxi-circunferências são quadrados com os lados orientados segundo um ângulo de 45º dos eixos coordenados. A imagem da direita exemplifica porque isso é verdade, mostrando em vermelho o conjunto de todos os pontos com uma distância fixa de um centro, que aparece em azul. Conforme o tamanho das quadras de uma cidade diminuem, os pontos tornam-se mais numerosos e vão formando um quadrado rotacionado em uma geometria do táxi contínua. Enquanto cada face deve ter comprimento √2r usando uma métrica Euclidiana, onde r é o raio da circunferência, seu comprimento na geometria do táxi é 2r. Assim, o comprimento da circunferência é 8r. A equação implícita que representa a taxi-circunferêcia unitária é |x| + |y| = 1 em coordenadas cartesianas e r = 1 / (|sinθ| + |cosθ|) em coordenadas polares.
Uma circunferência de raio r para a distância de Chebyshev (métrica L$_∞$) sobre o plano é também um quadrado com lados medindo 2r, paralelos aos eixos coordenados, então a distância de Chebyshev planar pode ser vista como equivalente por rotação e escalamento à distância do táxi planar. No entanto, esta equivalência entre as métricas L$_1$ e L$_∞$ não se generaliza para dimensões maiores.
Sempre que cada par em uma coleção dessas circunferências tem uma interseção não vazia, existe um ponto de interseção para todos os elementos da coleção; então, a distância de Manhattan forma um espaço métrico injetivo.