Prove um dê um contra-exemplo:
Se gamma1, gamma2:[a, b] R^n são duas curvas tais que | gamma1(t)- gamma2(t) |=k>0 forall t in[a, b], então L(gamma1)=L(gamma2)(gamma1 e gamma2 possuem o mesmo comprimento).

Passo 1

Beleza, vamos lá! O enunciado nos pede para provar ou dar um contra-exemplo para a afirmação de que se temos duas curvas, gamma1 e gamma2, definidas no intervalo [a, b] e sempre a uma distância constante k > 0 uma da outra, então o comprimento dessas duas curvas, L(gamma1) e L(gamma2), será o mesmo. O conteúdo que vamos usar aqui é sobre comprimento de curvas no espaço euclidiano R^n e noções básicas de distância entre pontos.

Passo 2

Primeiro, vamos entender o que significa que gamma1 e gamma2 estão sempre a uma distância k uma da outra. Isso quer dizer que, para qualquer valor de t no intervalo [a, b], a distância entre gamma1(t) e gamma2(t) é exatamente k. Em termos matemáticos, isso é expresso por:
|gamma1(t) - gamma2(t)| = k forall t in [a, b]
Aqui, |cdot| representa a norma euclidiana, que calcula a distância entre dois pontos no espaço.

Passo 3

Agora, vamos lembrar como calcular o comprimento de uma curva. O comprimento de uma curva gamma: [a, b] R^n é dado pela integral da norma da sua derivada em relação a t:
L(gamma) = integrala^b |gamma'(t)| , dt
Isso significa que para encontrar o comprimento da curva, precisamos integrar a velocidade (a norma da derivada) ao longo do intervalo [a, b].

Passo 4

Para provar que L(gamma1) = L(gamma2), precisamos mostrar que:
integrala^b |gamma1'(t)| , dt = integrala^b |gamma2'(t)| , dt
No entanto, o fato de as curvas estarem sempre a uma distância constante k não nos dá, de imediato, informações diretas sobre as derivadas delas. Portanto, precisamos pensar em um contra-exemplo para verificar se a afirmação é verdadeira.

Passo 5

Vamos considerar um contra-exemplo simples no espaço bidimensional R^2. Suponha que:
  • gamma1(t) = (t, 0), que é uma linha reta ao longo do eixo x de t = a até t = b.
  • gamma2(t) = (t, k), que é uma linha reta paralela à gamma1, mas deslocada verticalmente a uma distância k no eixo y.
Aqui, para qualquer t in [a, b], a distância entre gamma1(t) e gamma2(t) é:
|gamma1(t) - gamma2(t)| = raiz(t - t)^2 + (0 - k)^2 = raiz0 + k^2 = k
Então, a condição do enunciado é satisfeita.

Passo 6

Vamos calcular os comprimentos das curvas:
Para gamma1:
gamma1'(t) = (1, 0) |gamma1'(t)| = raiz1^2 + 0^2 = 1 L(gamma1) = integrala^b 1 , dt = b - a
Para gamma2:
gamma2'(t) = (1, 0) |gamma2'(t)| = raiz1^2 + 0^2 = 1 L(gamma2) = integrala^b 1 , dt = b - a

Conclusão

Neste caso particular, os comprimentos das duas curvas são iguais, L(gamma1) = L(gamma2) = b - a. Contudo, isso não garante que seja sempre assim para quaisquer curvas que estejam sempre a uma distância k uma da outra.

Passo 7

Vamos pensar em outro exemplo mais elaborado. Considere duas curvas circulares de raio R no plano, mas que estão deslocadas uma da outra de forma que a distância entre quaisquer pontos correspondentes é constante k.
No entanto, se rotacionarmos uma das curvas em relação à outra, mantendo a distância constante k, podemos alterar o comprimento de uma das curvas sem afetar a distância entre elas.
Isso mostra que mesmo mantendo a distância constante, é possível ter curvas com comprimentos diferentes.

Resposta

Portanto, a afirmação não é verdadeira em geral. Existem contra-exemplos onde duas curvas mantêm uma distância constante k entre si, mas possuem comprimentos diferentes. Assim, não podemos afirmar que L(gamma1) = L(gamma2) apenas com a condição dada.

Exercícios relacionados