Comando Demuestra
De GeoGebra Manual
Revisión del 20:53 2 feb 2021 de Cecilia russo (discusión | contribs.)
Demuestra
Categorías de Comandos (todos)
- Demuestra( <Proposición lógica> )
- Da por resultado el valor de verdad true (verdadero) o false (falso) de la proposición en general.
Normalmente, GeoGebra decide en forma numérica si la proposición es verdadera o no. Sin embargo, el comando Demuestra utiliza cálculo simbólico para determinar si una proposición es verdadera o falsa en general. Si GeoGebra no puede determinar la respuesta, el resultado es indefinido.
Ejemplo:
Se definen tres puntos libres
A = (1, 2)
, B = (3, 4)
, C = (5, 6)
, el comando EstánAlineados(A, B, C)
devuelve true , dado que el control numérico es realizado en las actuales coordenadas de los puntos. Utilizando Demuestra(EstánAlineados(A, B, C))
, se obtiene false como respuesta, dado que los tres puntos no son colineales en general, i. e cuando se cambian.Ejemplo:
Sea un triángulo con vértices A, B y C. Se define
D=PuntoMedio(B,C)
, E=PuntoMedio(A,C)
, p=Recta(A,B)
, q=Recta(D,E)
. En este caso, p∥q
y Demuestra(p∥q)
dan ambos como resultado verdadero -true-, dado que la base media será siempre paralela al lado correspondiente, aún si se modifica la posición de los vértices del triángulo.
Nota: Ver también el comando CompruebaDetalles; el artículo acerca de Valores Lógicos o Booleanos
y los detalles técnicos de los algoritmos.