18/10/2019, 05:31:07 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Paralelismo de vectores  (Leído 518 veces)
0 Usuarios y 1 Visitante están viendo este tema.
xxGearAntonioxx
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
México México

Mensajes: 16


Ver Perfil
« : 06/03/2019, 02:14:37 am »

Como puedo demostar que si en [texx]R^2[/texx]      [texx]\vec{d}[/texx] = [texx]\vec{b}[/texx]+[texx]\vec{c}[/texx]    y [texx]\vec{b}[/texx] es paralelo a [texx]\vec{a}[/texx], entonces [texx]\vec{d}[/texx] es paralelo a [texx]\vec{a}[/texx] si y solo si [texx]\vec{c}[/texx] es paralelo a [texx]\vec{a}[/texx].
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.320


Ver Perfil
« Respuesta #1 : 06/03/2019, 03:09:07 am »

Hola

Cómo puedo demostar que si en [texx]R^2[/texx]      [texx]\vec{d}[/texx] = [texx]\vec{b}[/texx]+[texx]\vec{c}[/texx]    y [texx]\vec{b}[/texx] es paralelo a [texx]\vec{a}[/texx], entonces [texx]\vec{d}[/texx] es paralelo a [texx]\vec{a}[/texx] si y solo si [texx]\vec{c}[/texx] es paralelo a [texx]\vec{a}[/texx].

Respondo para crear confusión en vez de solución :risa:.

En primer lugar traduzcamos al lenguaje lógico el enunciado, porque sino no se entiende.

Yo creo que el enunciado se traduce en que para todo [texx]\vec a,\vec b,\vec c,\vec d\in\Bbb R^2[/texx]:

[texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\iff\vec c\parallel\vec a).[/texx]

Yo creo que lo que sigue no está bien:

Partamos de [texx]\vec d[/texx]. Tenemos que llegar a que es paralelo a [texx]\vec a[/texx]. Por hipótesis sabemos que [texx]\vec d=\vec b+\vec c[/texx], y como [texx]\vec b=k_1\vec a[/texx] luego [texx]\vec d=k_1\vec a+\vec c[/texx]. Lo que no sé si está bien es considerar como hipótesis también que [texx]\vec c\parallel\vec a[/texx]: luego [texx]\vec d=k_1\vec a+k_2\vec a=(k_1+k_2)\vec a=k_3\vec a[/texx], y esto es, por definición de paralelismo, [texx]\vec d\parallel\vec a[/texx], como queríamos probar.

Desde ya que necesita revisión, así que mejor esperá a alguien más.

Saludos
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.052


Ver Perfil
« Respuesta #2 : 06/03/2019, 04:24:21 am »

Hola

En primer lugar traduzcamos al lenguaje lógico el enunciado, porque sino no se entiende.

Si has sido capaz de traducirlo (escribir lo mismo de manera más críptica) es que SI lo has entendido. En mi opinión se entendía mejor antes; pero para gustos pintan colores.

Cita
Yo creo que el enunciado se traduce en que para todo [texx]\vec a,\vec b,\vec c,\vec d\in\Bbb R^2[/texx]:

[texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\iff\vec c\parallel\vec a).[/texx]

Bien.

Cita
Yo creo que lo que sigue no está bien:

Partamos de [texx]\vec d[/texx]. Tenemos que llegar a que es paralelo a [texx]\vec a[/texx]. Por hipótesis sabemos que [texx]\vec d=\vec b+\vec c[/texx], y como [texx]\vec b=k_1\vec a[/texx] luego [texx]\vec d=k_1\vec a+\vec c[/texx]. Lo que no sé si está bien es considerar como hipótesis también que [texx]\vec c\parallel\vec a[/texx]: luego [texx]\vec d=k_1\vec a+k_2\vec a=(k_1+k_2)\vec a=k_3\vec a[/texx], y esto es, por definición de paralelismo, [texx]\vec d\parallel\vec a[/texx], como queríamos probar.

Está mal que digas "Partamos de [texx]\vec d[/texx]. Tenemos que llegar a que es paralelo a [texx]\vec a[/texx].". En realidad tienes que probar dos cosas:

1) que si [texx]\vec d\parallel\vec a[/texx] entonces [texx]\vec c\parallel\vec a[/texx].
2) que si [texx]\vec c\parallel\vec a[/texx] entonces [texx]\vec d\parallel\vec a[/texx].

Todo ello bajo las hipótesis comunes de [texx]\vec d=\vec b+\vec c[/texx] y [texx]\vec b\parallel \vec a[/texx]. Entonces si en lo que tu has hecho lo comienzas diciendo:

"Partamos de [texx]\vec c\parallel \vec a[/texx]. Tenemos que llegar a que [texx]\vec d[/texx] es paralelo a [texx]\vec a[/texx]"

Tu argumento es una prueba correcta de (2).

Ahora falta (1), que es muy parecido.

Saludos.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.320


Ver Perfil
« Respuesta #3 : 06/03/2019, 04:39:08 am »

Hola Luis

Si has sido capaz de traducirlo (escribir lo mismo de manera más críptica) es que SI lo has entendido. En mi opinión se entendía mejor antes; pero para gustos pintan colores.

Vaya que no lo hemos discutido :risa:. No entiendo cómo podés decir que esta traducción (pasar del lenguaje natural al simbólico) es "críptico", si lo que se hace es para el bien del lector, ya que tenerlo en forma lógica permite vislumbrar hipótesis, tesis y da el puntapié inicial para comenzar la demostración/refutación del enunciado.

Está mal que digas "Partamos de [texx]\vec d[/texx]. Tenemos que llegar a que es paralelo a [texx]\vec a[/texx].". En realidad tienes que probar dos cosas:

1) que si [texx]\vec d\parallel\vec a[/texx] entonces [texx]\vec c\parallel\vec a[/texx].
2) que si [texx]\vec c\parallel\vec a[/texx] entonces [texx]\vec d\parallel\vec a[/texx].

Todo ello bajo las hipótesis comunes de [texx]\vec d=\vec b+\vec c[/texx] y [texx]\vec b\parallel \vec a[/texx]. Entonces si en lo que tu has hecho lo comienzas diciendo:

"Partamos de [texx]\vec c\parallel \vec a[/texx]. Tenemos que llegar a que [texx]\vec d[/texx] es paralelo a [texx]\vec a[/texx]"

Tu argumento es una prueba correcta de (2).

Ahora falta (1), que es muy parecido.

¡Gracias! Ahora le toca a xxGearAntonioxx probar (1), a ver qué tal le va.


Saludos y gracias

AGREGADO
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.052


Ver Perfil
« Respuesta #4 : 06/03/2019, 04:50:32 am »

Hola

Vaya que no lo hemos discutido :risa:. No entiendo cómo podés decir que esta traducción (pasar del lenguaje natural al simbólico) es "críptico", si lo que se hace es para el bien del lector, ya que tenerlo en forma lógica permite vislumbrar hipótesis, tesis y da el puntapié inicial para comenzar la demostración/refutación del enunciado.

Bueno esto es totalmente subjetivo, no pretendo convencer a nadie. En general YO tardo más tiempo en interpretar una escritura mediante símbolos que una escritura (razonable) mediante lenguaje natural.

Para que se entienda lo de "razonable", no considero como tal escribir "equis más i griega al cuadrado es igual al cuadrado de equis más dos veces el producto de equis por i griega más i griega al cuadrado". Pero insisto en que no tengo una razón objetiva para defender esto (ni lo contrario).

Lo que si defiendo es que ambas escrituras son correctas y perfectamente entendibles.

Cita
Entiendo que el enunciado es equivalente a:

[texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\implies\vec c\parallel\vec a\wedge\vec c\parallel\vec a\implies\vec d\parallel\vec a).[/texx]

Si decidimos separarlo como propusiste, tenemos que

  • [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\implies\vec c\parallel\vec a)[/texx].
  • [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec c\parallel\vec a\implies\vec d\parallel\vec a)[/texx].

Bien.

Cita
Mi pregunta es si por ejemplo en (2), ¿podemos considerar escribirlo como [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a\;{\color{magenta}\wedge\;\vec c\parallel\vec a})\implies(\vec d\parallel\vec a)[/texx]? Pero entonces estaríamos faltando a la verdad ya que dijimos que las "hipótesis comunes" eran 2, y ahora son 3, ¿verdad?

Estaría bien escribir (2) así. Lo que pasa es que ahora una de esas tres hipótesis ya no sería común a (1). Pero es no quiere decir que esa forma de escribirlo que propones esté mal; sigue siendo otra forma correcta de presentar lo que queremos demostrar.

Cita
De forma general, si tenemos [texx]p\implies(q\implies r)[/texx] ¿podemos suscribir con total seguridad que eso es equivalente a [texx](p\wedge q)\implies r[/texx]?

Si. Compruébalo si quieres con tablas de la verdad.

Saludos.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.320


Ver Perfil
« Respuesta #5 : 06/03/2019, 04:55:37 am »

Hola

Bueno esto es totalmente subjetivo, no pretendo convencer a nadie. En general YO tardo más tiempo en interpretar una escritura mediante símbolos que una escritura (razonable) mediante lenguaje natural.

Para que se entienda lo de "razonable", no considero como tal escribir "equis más i griega al cuadrado es igual al cuadrado de equis más dos veces el producto de equis por i griega más i griega al cuadrado". Pero insisto en que no tengo una razón objetiva para defender esto (ni lo contrario).

Jajaja, me causó gracia ese ejemplo de ecuación, muy bueno Aplauso :risa:.

Estaría bien escribir (2) así. Lo que pasa es que ahora una de esas tres hipótesis ya no sería común a (1). Pero es no quiere decir que esa forma de escribirlo que propones esté mal; sigue siendo otra forma correcta de presentar lo que queremos demostrar.

No sé. Estás contraargumentando la manera en que lo escribí, porque ese "Lo que pasa es que ahora una de esas tres hipótesis ya no sería común a (1)" significa todo menos "No hay lagunas lógicas".

Para darme una idea de que escribirlo en forma lógica "puede fallar", ¿podrías escribir un ejemplo o explicar en profundidad el ejemplo en cuestión, por favor?

Si. Compruébalo si quieres con tablas de la verdad.

Sisi, lo hice en el agregado de recién en verde. Lo que veo es que ahora hemos agregado una hipótesis que antes no estaba; no sé si esto es perjudicial a nivel lógico o no, y me gustaría que me lo aclararas. No sé si esto tiene que ver con la frase "Lo que pasa es que ahora una de esas tres hipótesis ya no sería común a (1)".

Saludos
En línea
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 8.409



Ver Perfil
« Respuesta #6 : 06/03/2019, 05:40:40 am »

Como puedo demostar que si en [texx]R^2[/texx]      [texx]\vec{d}[/texx] = [texx]\vec{b}[/texx]+[texx]\vec{c}[/texx]    y [texx]\vec{b}[/texx] es paralelo a [texx]\vec{a}[/texx], entonces [texx]\vec{d}[/texx] es paralelo a [texx]\vec{a}[/texx] si y solo si [texx]\vec{c}[/texx] es paralelo a [texx]\vec{a}[/texx].

Hola.

Aunque ya está hecho, te dejo esto en spoiler por si te sirve.

Spoiler (click para mostrar u ocultar)

Saludos. Buenos días.
En línea

Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.052


Ver Perfil
« Respuesta #7 : 06/03/2019, 05:45:36 am »

Hola

No sé. Estás contraargumentando la manera en que lo escribí, porque ese "Lo que pasa es que ahora una de esas tres hipótesis ya no sería común a (1)" significa todo menos "No hay lagunas lógicas".

No, me explicado mal, me has entendido mal o probablemente ambas cosas.

La escritura alternativa que has propuesto es totalmente correcta. No hay duda ni matiz en eso.

Lo único que quería decir es que con la escritura original las hipótesis de ambas proposiciones son [texx]\vec d=\vec b+\vec c[/texx] y[texx] \vec b\parallel \vec a[/texx]. Entonces tiene sentido decir que (1) y (2) tienen hipótesis comunes.

Pero con la nueva escritura (2) además tiene otra hipótesis que no comparte con (1), entonces no tiene sentido decir que (1) y (2) tiene hipótesis comunes. Pero esto no tiene mayor importancia. Es como si te digo que con la primera escritura podría decir:

"tanto en (1) como en (2) aparecen dos símbolos [texx]\Rightarrow[/texx]"

Pero con la segunda escritura de (2) ya sólo aparece un símbolo implica, por tanto no podría decir lo anterior. ¿Y qué?.

Mi comentario vino a cuento por esta frase:

Cita
Pero entonces estaríamos faltando a la verdad ya que dijimos que las "hipótesis comunes" eran 2, y ahora son 3, ¿verdad?

Es decir cambiar la sintaxis de alguna proposición puede hacer (¡obviamente!) que alguna afirmación sobre la sintaxis de la proposición pase de ser verdadera a falsa y viceversa. Pero eso no cambia el significado de la proposición.

Cita
Para darme una idea de que escribirlo en forma lógica "puede fallar", ¿podrías escribir un ejemplo o explicar en profundidad el ejemplo en cuestión, por favor?

Que quede claro una vez más: no falla nada. Ambas escrituras son 100% correctas.

Cita
Lo que veo es que ahora hemos agregado una hipótesis que antes no estaba; no sé si esto es perjudicial a nivel lógico o no, y me gustaría que me lo aclararas. No sé si esto tiene que ver con la frase "Lo que pasa es que ahora una de esas tres hipótesis ya no sería común a (1)"
.

Una vez más: no hay nada perjudicial. Totalmente correcto.  :cara_de_queso:

Saludos.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.320


Ver Perfil
« Respuesta #8 : 06/03/2019, 05:51:50 am »

Hola

Pero con la segunda escritura de (2) ya sólo aparece un símbolo implica, por tanto no podría decir lo anterior. ¿Y qué?.

Supongo que si aislamos las proposiciones del contexto entonces serán inconexas, no habrá forma de juntarlas como estaban antes de separarlas, lo que da cuenta de que no siempre conviene pasar al lenguaje lógico todo el rato (porque tener dos cosas inconexas no es bueno), como yo creo.

Y no me digas "¿Y para qué querés aislar las proposiciones?" porque recordá que todo esto viene del caso general [texx]p\implies(q\implies r)\equiv(p\wedge q)\implies r[/texx], así que es importante para mí poder entenderte todo lo que decís.

Saludos
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.052


Ver Perfil
« Respuesta #9 : 06/03/2019, 06:11:34 am »

Hola

Supongo que si aislamos las proposiciones del contexto entonces serán inconexas, no habrá forma de juntarlas como estaban antes de separarlas, lo que da cuenta de que no siempre conviene pasar al lenguaje lógico todo el rato (porque tener dos cosas inconexas no es bueno), como yo creo.

No se que contestar a esto, francamente. La frase en rojo es tan genérica que no se que decir al respecto. Quizá aplicada a situaciones concretas podría estar de acuerdo, o en desacuerdo o parecerme indiferente.

En este caso me parece indiferente. Es decir TODAS las escrituras que han aparecido son correctas y equivalentes y no hay nada "malo" en usar una u otra.

demostar que si en [texx]R^2[/texx]      [texx]\vec{d}[/texx] = [texx]\vec{b}[/texx]+[texx]\vec{c}[/texx]    y [texx]\vec{b}[/texx] es paralelo a [texx]\vec{a}[/texx], entonces [texx]\vec{d}[/texx] es paralelo a [texx]\vec{a}[/texx] si y solo si [texx]\vec{c}[/texx] es paralelo a [texx]\vec{a}[/texx].

Cita
[texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\iff\vec c\parallel\vec a)[/texx].

Cita
1. [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\implies\vec c\parallel\vec a)[/texx].
2. [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec c\parallel\vec a\implies\vec d\parallel\vec a)[/texx].

Cita
1. [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a)\implies(\vec d\parallel\vec a\implies\vec c\parallel\vec a)[/texx].
2. [texx](\vec d=\vec b+\vec c\wedge\vec b\parallel\vec a\;{\color{magenta}\wedge\;\vec c\parallel\vec a})\implies(\vec d\parallel\vec a)[/texx].

Cita
Y no me digas "¿Y para qué querés aislar las proposiciones?" porque recordá que todo esto viene del caso general [texx]p\implies(q\implies r)\equiv(p\wedge q)\implies r[/texx], así que es importante para mí poder entenderte todo lo que decís.

No acabo de comprender que es lo que no entiendes, que cabo suelto ves.

Saludos.
En línea
manooooh
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 2.320


Ver Perfil
« Respuesta #10 : 06/03/2019, 06:21:23 am »

Hola

A lo que voy es decidir si está mal en algún aspecto decir que en el miembro izquierdo de [texx]p\implies(q\implies r)\equiv(p\wedge q)\implies r[/texx] tenga como hipótesis única [texx]p[/texx], mientras que en la expresión de la derecha ahora sean dos hipótesis. ¿Esto podría causar alguna laguna lógica o exclusivamente tiene que ver con nuestro lenguaje u otro motivo no-lógico?

Saludos
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 45.052


Ver Perfil
« Respuesta #11 : 06/03/2019, 06:36:19 am »

Hola

A lo que voy es decidir si está mal en algún aspecto decir que en el miembro izquierdo de [texx]p\implies(q\implies r)\equiv(p\wedge q)\implies r[/texx] tenga como hipótesis única [texx]p[/texx], mientras que en la expresión de la derecha ahora sean dos hipótesis. ¿Esto podría causar alguna laguna lógica o exclusivamente tiene que ver con nuestro lenguaje u otro motivo no-lógico?

No, no hay ninguna laguna lógica ahí. Ningún problema.

Saludos.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!