Diferencia entre revisiones de «Plantilla:Hl1»

De GeoGebra Manual
Saltar a: navegación, buscar
m (title)
m (typo)
Línea 18: Línea 18:
 
{{OJo|1= Desde ya, resulta '''''indefinido''''' cuando falten medios para establecer el valor por una u otra vía.}}__NoToc__
 
{{OJo|1= Desde ya, resulta '''''indefinido''''' cuando falten medios para establecer el valor por una u otra vía.}}__NoToc__
 
{{Example|1=<div>Definiendo un triángulo con vértices ''A'', ''B'' y ''C'',  y estableciendo que...
 
{{Example|1=<div>Definiendo un triángulo con vértices ''A'', ''B'' y ''C'',  y estableciendo que...
*'''<code><nowiki>D=PuntoMedio[B, C]</nowiki></code>'''
+
*'''<code><nowiki>D=PuntoMedio(B, C)</nowiki></code>'''
*'''<code><nowiki>E=PuntoMedio[A, C]</nowiki></code>'''
+
*'''<code><nowiki>E=PuntoMedio(A, C)</nowiki></code>'''
*'''<code><nowiki>p=Recta[A, B]</nowiki></code>'''
+
*'''<code><nowiki>p=Recta(A, B)</nowiki></code>'''
*'''<code><nowiki>q=Recta[D, E]</nowiki></code>'''
+
*'''<code><nowiki>q=Recta(D, E)</nowiki></code>'''
 
:... entonces
 
:... entonces
 
:*'''<code><nowiki>DemuestraDetalles(SonParalelas(p, q))</nowiki></code>'''  da por resultado '''''true''''' y una sentencia  que significa que en caso de poder construirse el diagrama, entonces la base media  ''DE'' del triángulo sería paralela al lado ''AB'').</div>}}
 
:*'''<code><nowiki>DemuestraDetalles(SonParalelas(p, q))</nowiki></code>'''  da por resultado '''''true''''' y una sentencia  que significa que en caso de poder construirse el diagrama, entonces la base media  ''DE'' del triángulo sería paralela al lado ''AB'').</div>}}
Línea 30: Línea 30:
 
{{OJo|1=<br> Es posible que la lista de condiciones degeneradas exceda a un conjunto acotado, suficiente para confirmar la sentencia.<br>Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.}}
 
{{OJo|1=<br> Es posible que la lista de condiciones degeneradas exceda a un conjunto acotado, suficiente para confirmar la sentencia.<br>Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.}}
 
<h4>Ejemplos Adicionales</h4>
 
<h4>Ejemplos Adicionales</h4>
{{example| 1=<div>Siendo ''AB'' el segmento ''a'', se define <code><nowiki>C=PuntoMedio[A,B]</nowiki></code>, <code><nowiki>b=Mediatriz[A,B]</nowiki></code>, <code><nowiki>D=Interseca[a,b]</nowiki></code>. Entonces <code><nowiki>DemuestraDetalles[C==D]</nowiki></code> da por resultado <nowiki>{true,{"SonIgualesA,B"}}</nowiki>: esto implica que aún si los puntos ''A'' y ''B'' difieren, entonces ''C'' y ''D'' coincidirán.</div>}}<hr>{{Hint|1=¿Qué ocurriría si A coincidiera con B, eventualmente como señala la lista adicional en la respuesta?}}
+
{{example| 1=<div>Siendo ''AB'' el segmento ''a'', se define <code><nowiki>C=PuntoMedio(A, B)</nowiki></code>, <code><nowiki>b=Mediatriz(A, B)</nowiki></code>, <code><nowiki>D=Interseca(A, B)</nowiki></code>. Entonces <code><nowiki>DemuestraDetalles(C==D)</nowiki></code> da por resultado <nowiki>{true,{"SonIgualesA,B"}}</nowiki>: esto implica que aún si los puntos ''A'' y ''B'' difieren, entonces ''C'' y ''D'' coincidirán.</div>}}<hr>{{Hint|1=¿Qué ocurriría si A coincidiera con B, eventualmente como señala la lista adicional en la respuesta?}}
{{example| 1=<div>Siendo ''AB'' el segmento ''a'', se define <code><nowiki>l=Recta[A,B]</nowiki></code>. Se establece C como punto arbitrario sobre  la recta ''l'', además, <code><nowiki>b=Segmento[B,C]</nowiki></code>, <code><nowiki>c=Segmento[A,C]</nowiki></code>. Ahora <code><nowiki>DemuestraDetalles(a==b+c)</nowiki></code> returns <nowiki>{true,{"a+b==c", "b==a+c"}}</nowiki>: esto implica que cuando ni <math>a+b=c</math>, ni <math>b=a+c</math>, entonces  <math>a=b+c</math>.</div>}}
+
{{example| 1=<div>Siendo ''AB'' el segmento ''a'', se define <code><nowiki>l=Recta(A, B)</nowiki></code>. Se establece C como punto arbitrario sobre  la recta ''l'', además, <code><nowiki>b=Segmento(B, C)</nowiki></code>, <code><nowiki>c=Segmento(A,C)</nowiki></code>. Ahora <code><nowiki>DemuestraDetalles(a==b+c)</nowiki></code> returns <nowiki>{true,{"a+b==c", "b==a+c"}}</nowiki>: esto implica que cuando ni <math>a+b=c</math>, ni <math>b=a+c</math>, entonces  <math>a=b+c</math>.</div>}}
<!--::*'''<nowiki>{true,{ SonIguales[A, B] } }</nowiki>'''.<br><hr>
+
<!--::*'''<nowiki>{true,{ SonIguales(A, B) } }</nowiki>'''.<br><hr>
 
<center>'''''<u>For the above example, the simplest set would be the empty set.</u>'''''</center><hr><br>
 
<center>'''''<u>For the above example, the simplest set would be the empty set.</u>'''''</center><hr><br>
 
Esto implica que si el triángulo ''ABC''  lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}-->
 
Esto implica que si el triángulo ''ABC''  lo es efectivamente y no son iguales '''A''' y '''B''', su base media, tal como ''DE'', es paralela a la recta del lado ''AB''.}}-->
Línea 38: Línea 38:
 
En algunos casos, no todos los incidentes están siendo considerados.
 
En algunos casos, no todos los incidentes están siendo considerados.
 
{{Example|1=Definiendo un cuadrilátero  con vértices ''A'', ''B'', ''C'' y ''D'',  y estableciendo que...
 
{{Example|1=Definiendo un cuadrilátero  con vértices ''A'', ''B'', ''C'' y ''D'',  y estableciendo que...
*'''<code><nowiki>E=PuntoMedio[A, B]</nowiki></code>'''
+
*'''<code><nowiki>E=PuntoMedio(A, B)</nowiki></code>'''
*'''<code><nowiki>F=PuntoMedio[B, C]</nowiki></code>'''... y luego ''G'' y ''H'' como los puntos medios de los dos lados restantes.
+
*'''<code><nowiki>F=PuntoMedio(B, C)</nowiki></code>'''... y luego ''G'' y ''H'' como los puntos medios de los dos lados restantes.
 
... entonces
 
... entonces
*'''<code><nowiki>DemuestraDetalles(SonIguales[Segmento[E, H], Segmento[F, G]])</nowiki></code>''' da por resultado
+
*'''<code><nowiki>DemuestraDetalles(SonIguales(Segmento(E, H), Segmento(F, G)))</nowiki></code>''' da por resultado
::*'''<nowiki>{true,{ "PolígonoDegenerado[A, B, C, D]", "SonIguales[A, B]"} }</nowiki>'''}}<small>
+
::*'''<nowiki>{true,{ "PolígonoDegenerado[A, B, C, D]", "SonIguales(A, B)"} }</nowiki>'''}}<small>
 
{{warning|1=Como este comando está en desenvolvimiento persistente, acaso permanezcan incidentes de ''excepción'' sin incluir y, por ejemplo, la sentencia aparezca como verdadera incluso para un cuadrilátero que hubiera degenerado en triángulo porque cuando coinciden ''A'' y ''B'' su punto medio ''E'' sigue existiendo y el segmento [EH] es igual a [AH] y de la misma longitud que el [FG] a nivel métrico.<br>Sobre todo que, si en lugar de controlar la igualdad de longitud se verificará si hay paralelismo - '''<code><nowiki>DemuestraDetalles(SonParalelas[Recta[E, H], Recta[F, G]])</nowiki></code>''' -  habría que contemplar si la salida sería verdadera sin casos particulares o, en el caso del polígono degenerado, con superposición de ''B'' y ''D'', las rectas en juego no quedan definidas.}}</small>
 
{{warning|1=Como este comando está en desenvolvimiento persistente, acaso permanezcan incidentes de ''excepción'' sin incluir y, por ejemplo, la sentencia aparezca como verdadera incluso para un cuadrilátero que hubiera degenerado en triángulo porque cuando coinciden ''A'' y ''B'' su punto medio ''E'' sigue existiendo y el segmento [EH] es igual a [AH] y de la misma longitud que el [FG] a nivel métrico.<br>Sobre todo que, si en lugar de controlar la igualdad de longitud se verificará si hay paralelismo - '''<code><nowiki>DemuestraDetalles(SonParalelas[Recta[E, H], Recta[F, G]])</nowiki></code>''' -  habría que contemplar si la salida sería verdadera sin casos particulares o, en el caso del polígono degenerado, con superposición de ''B'' y ''D'', las rectas en juego no quedan definidas.}}</small>
 
[[Category:Comandos de Lógica]]
 
[[Category:Comandos de Lógica]]

Revisión del 00:47 4 feb 2020


DemuestraDetalles( <Expresión Booleana> )
Da por resultado una lista con el valor lógico y algunos detalles derivados de la prueba simbólica automática.
DemuestraDetalles es así un comando de lógica dedicado a comprobaciones de expresiones booleanas geométricas en particular
Nota: Ver también el comando Demuestra y/o Comprueba, el artículo sobre Valores Lógicos o Booleanos y las siguientes páginas (en inglés)

Demuestra/Comprueba y Detalla

DemuestraDetalles, comando también conocido como CompruebaDetalles, opera de modo similar a Demuestra (o Comprueba) pero suma, además, algunos detalles del resultado como una lista:

  • vacía {} si no se puede determinar la respuesta (la expresión no puede ser probada; no se cuenta con medios de lógica constituida para operar en esta situación o el cálculo demandaría demasiado tiempo).
  • de un elemento:
    • {false}, si la sentencia, en general, no es verdadera
    • {true}, si la sentencia es siempre verdadera
  • dos listas:
    • una lista con más elementos, incluyendo el valor booleano ciertotrue
    • otra, para las así llamadas condiciones degeneradas para las que la sentencia resulta cierta
      • Por ejemplo, {true, {"PolígonoDegenerado[A, B, C, D]"}} siendo la excepción la de "PolígonoDegenerado"cuya traducción aún no se ha implementado o sea que aparecería en inglés). Es decir, se listan los casos en que la sentencia que es "genéricamente verdadera", puede no serlo. Son excepciones las condiciones listadas (que "los puntos A, B, C sean colineales", "los segmentos c, d sean iguales", etc.).
Entonces, si ninguna de las condiciones listadas fuera verdadera, la sentencia lo sería.
  • una lista {true,{"..."}}, si la declaración fuera cierta bajo ciertas condiciones pero tales condiciones no pudieran, por alguna razón, ser transcribible (o de formato legible).
Bulbgraph.pngAtención: Desde ya, resulta indefinido cuando falten medios para establecer el valor por una u otra vía.
Ejemplo:
Definiendo un triángulo con vértices A, B y C, y estableciendo que...
  • D=PuntoMedio(B, C)
  • E=PuntoMedio(A, C)
  • p=Recta(A, B)
  • q=Recta(D, E)
... entonces
  • DemuestraDetalles(SonParalelas(p, q)) da por resultado true y una sentencia que significa que en caso de poder construirse el diagrama, entonces la base media DE del triángulo sería paralela al lado AB).

Metodología de Control

GeoGebra emplea varios métodos para decidir si una expresión booleana es verdadera o no:

  • en general, los de cálculo numérico
  • en particular, como para este comando y para Comprueba los de índole simbólica para determinar un valor de verdad cierto o falso.
Bulbgraph.pngAtención:
Es posible que la lista de condiciones degeneradas exceda a un conjunto acotado, suficiente para confirmar la sentencia.
Entonces, solo puede establecerse que suponiendo en general condiciones no degeneradas, sería verdadera.

Ejemplos Adicionales

Ejemplo:
Siendo AB el segmento a, se define C=PuntoMedio(A, B), b=Mediatriz(A, B), D=Interseca(A, B). Entonces DemuestraDetalles(C==D) da por resultado {true,{"SonIgualesA,B"}}: esto implica que aún si los puntos A y B difieren, entonces C y D coincidirán.

Note Aviso: ¿Qué ocurriría si A coincidiera con B, eventualmente como señala la lista adicional en la respuesta?
Ejemplo:
Siendo AB el segmento a, se define l=Recta(A, B). Se establece C como punto arbitrario sobre la recta l, además, b=Segmento(B, C), c=Segmento(A,C). Ahora DemuestraDetalles(a==b+c) returns {true,{"a+b==c", "b==a+c"}}: esto implica que cuando ni a+b=c, ni b=a+c, entonces a=b+c.

Consideraciones Preliminares

En algunos casos, no todos los incidentes están siendo considerados.

Ejemplo: Definiendo un cuadrilátero con vértices A, B, C y D, y estableciendo que...
  • E=PuntoMedio(A, B)
  • F=PuntoMedio(B, C)... y luego G y H como los puntos medios de los dos lados restantes.

... entonces

  • DemuestraDetalles(SonIguales(Segmento(E, H), Segmento(F, G))) da por resultado
  • {true,{ "PolígonoDegenerado[A, B, C, D]", "SonIguales(A, B)"} }
Alerta Alerta: Como este comando está en desenvolvimiento persistente, acaso permanezcan incidentes de excepción sin incluir y, por ejemplo, la sentencia aparezca como verdadera incluso para un cuadrilátero que hubiera degenerado en triángulo porque cuando coinciden A y B su punto medio E sigue existiendo y el segmento [EH] es igual a [AH] y de la misma longitud que el [FG] a nivel métrico.
Sobre todo que, si en lugar de controlar la igualdad de longitud se verificará si hay paralelismo - DemuestraDetalles(SonParalelas[Recta[E, H], Recta[F, G]]) - habría que contemplar si la salida sería verdadera sin casos particulares o, en el caso del polígono degenerado, con superposición de B y D, las rectas en juego no quedan definidas.

© 2024 International GeoGebra Institute