Animaciones
Cada ejemplo de abajo es un proyecto .eido independiente con una sola figura que usa stage, animate y assert para demostrar un resultado geométrico. Cada descarga usa el formato .eido actual (manifiesto version: 2) y contiene código fuente de Eidolang editable.
Después de descargar, elige Abrir en la cabecera de la aplicación y selecciona el archivo, o suelta el archivo .eido sobre la aplicación. No hace falta instalar nada: el enlace Ver en el visor reproduce el proyecto en el navegador.
La imagen de cada sección es un PNG exportado de la misma figura con la herramienta de exportación de Eidograph y muestra un fotograma de la línea de tiempo. Abre el archivo para reproducir la animación completa.
Figuras planas
Teorema de la mediatriz
Este ejemplo muestra cómo crear una animación para demostrar el teorema de la mediatriz. P se desliza por la mediatriz de AB mientras las etiquetas de longitud de PA y PB se mantienen iguales, y dos aserciones comprueban las distancias y el ángulo recto en cada fotograma.
Descargar perpendicular-bisector-theorem.eido · Ver en el visor
Teorema de Napoleón
Este ejemplo muestra cómo crear una animación para demostrar el teorema de Napoleón. El vértice C deforma el triángulo continuamente mientras los tres centros de los triángulos equiláteros siguen formando un triángulo equilátero.
Descargar napoleons-theorem.eido · Ver en el visor
Teorema de Tales
Este ejemplo muestra cómo crear una animación para demostrar el teorema de Tales. P recorre la semicircunferencia mientras el ángulo que el diámetro AB subtiende en P sigue siendo recto.
Descargar thales-theorem.eido · Ver en el visor
Teorema del ángulo inscrito
Este ejemplo muestra cómo crear una animación para demostrar el teorema del ángulo inscrito. P recorre el arco mayor mientras el ángulo central AOB sigue siendo exactamente el doble del ángulo inscrito APB.
Descargar inscribed-angle-theorem.eido · Ver en el visor
Perpendicular del centro a una cuerda
Este ejemplo muestra cómo crear una animación para demostrar que la perpendicular trazada desde el centro biseca la cuerda. La cuerda AB gira alrededor de la circunferencia mientras OM se mantiene perpendicular a ella y las dos semicuerdas siguen midiendo lo mismo.
Descargar perpendicular-chord-bisector-theorem.eido · Ver en el visor
Ángulos de la base de un triángulo isósceles
Este ejemplo muestra cómo crear una animación para demostrar la igualdad de los ángulos de la base de un triángulo isósceles. El vértice C sube y baja por el eje de simetría, y los dos ángulos de la base siguen siendo iguales a cualquier altura.
Descargar isosceles-triangle-base-angles.eido · Ver en el visor
Suma de los ángulos de un triángulo
Este ejemplo muestra cómo crear una animación para demostrar la suma de los ángulos de un triángulo. Una paralela trazada por C reúne los tres ángulos interiores en un ángulo llano mientras el vértice C sigue moviéndose.
Descargar triangle-angle-sum.eido · Ver en el visor
Teorema del baricentro
Este ejemplo muestra cómo crear una animación para demostrar el teorema del baricentro. El triángulo se deforma mientras las tres medianas siguen cortándose en G, que mantiene la razón 2:1 en cada mediana.
Descargar triangle-centroid-theorem.eido · Ver en el visor
Demostración del teorema de Pitágoras por recomposición
Este ejemplo muestra cómo crear una animación para demostrar el teorema de Pitágoras. Cuatro triángulos rectángulos congruentes giran hasta una segunda disposición dentro del mismo cuadrado, convirtiendo los dos cuadrados pequeños en un cuadrado sobre la hipotenusa.
Descargar pythagorean-rearrangement-proof.eido · Ver en el visor
Circuncentro de un triángulo
Este ejemplo muestra cómo crear una animación para demostrar el circuncentro de un triángulo. Las tres mediatrices siguen cortándose en O, y la circunferencia circunscrita acompaña al vértice móvil C.
Descargar triangle-circumcenter.eido · Ver en el visor
Radio y tangente
Este ejemplo muestra cómo crear una animación para demostrar el ángulo recto entre un radio y una tangente. El punto de contacto T recorre la circunferencia mientras la tangente se mantiene perpendicular al radio OT.
Descargar radius-and-tangent.eido · Ver en el visor
Potencia de un punto
Este ejemplo muestra cómo crear una animación para demostrar la potencia de un punto. Una secante que pasa por P gira mientras las etiquetas muestran que ambos productos de secantes se mantienen iguales.
Descargar power-of-a-point.eido · Ver en el visor
Teorema de Ptolomeo
Este ejemplo muestra cómo crear una animación para demostrar el teorema de Ptolomeo. El vértice D se desliza por la circunferencia mientras el producto de las diagonales y la suma de los productos de lados opuestos se mantienen iguales.
Descargar ptolemys-theorem.eido · Ver en el visor
Diagonales de un paralelogramo
Este ejemplo muestra cómo crear una animación para demostrar que las diagonales de un paralelogramo se bisecan. El paralelogramo se inclina al cambiar el ángulo, y ambas diagonales conservan el mismo punto medio M.
Descargar parallelogram-diagonals.eido · Ver en el visor
Teorema de Varignon
Este ejemplo muestra cómo crear una animación para demostrar el teorema de Varignon. El vértice D deforma el cuadrilátero continuamente mientras el cuadrilátero de los puntos medios sigue siendo un paralelogramo.
Descargar varignons-theorem.eido · Ver en el visor
Reflexión y camino más corto
Este ejemplo muestra cómo crear una animación para demostrar el camino más corto obtenido por reflexión. P se desliza por el espejo y la longitud del recorrido alcanza su mínimo justo cuando A, P y el punto reflejado B' están alineados.
Descargar reflection-shortest-path.eido · Ver en el visor
Homotecia
Este ejemplo muestra cómo crear una animación para demostrar una homotecia. El factor de escala k crece mientras cada punto imagen permanece sobre un rayo desde O y cada longitud queda multiplicada por k.
Descargar homothety.eido · Ver en el visor
La rotación es un movimiento rígido
Este ejemplo muestra cómo crear una animación para demostrar la rotación como movimiento rígido. El triángulo da una vuelta completa alrededor de O mientras las aserciones comprueban que se conservan todas las longitudes y ángulos.
Descargar rotation-is-a-rigid-motion.eido · Ver en el visor
Definición focal de la elipse
Este ejemplo muestra cómo crear una animación para demostrar la definición focal de la elipse. P recorre la elipse una vez; las dos distancias focales cambian, pero su suma se mantiene constante.
Descargar ellipse-focal-definition.eido · Ver en el visor
Foco y directriz de la parábola
Este ejemplo muestra cómo crear una animación para demostrar la definición de la parábola por foco y directriz. P se mueve por la parábola mientras su distancia al foco sigue siendo igual a su distancia a la directriz.
Descargar parabola-focus-and-directrix.eido · Ver en el visor
Pantógrafo y semejanza
Este ejemplo muestra cómo crear una animación para demostrar cómo un pantógrafo amplía un dibujo. El mecanismo gira mientras dos lugares geométricos registran el camino del punzón y el del lápiz, que sigue siendo una copia semejante ampliada por k.
Descargar pantograph-similarity.eido · Ver en el visor
Cicloide de un círculo que rueda
Este ejemplo muestra cómo crear una animación para demostrar una cicloide. Un círculo rueda sin deslizar sobre una recta mientras un punto marcado de su borde traza la cicloide como lugar geométrico.
Descargar cycloid-from-a-rolling-circle.eido · Ver en el visor
Círculo unitario y onda senoidal
Este ejemplo muestra cómo crear una animación para demostrar cómo el círculo unitario genera una onda senoidal. Un conector une el punto que gira sobre el círculo con el punto de la gráfica, cuya altura es el seno del mismo ángulo.
Descargar unit-circle-and-sine-wave.eido · Ver en el visor
Inversión respecto a una circunferencia
Este ejemplo muestra cómo crear una animación para demostrar la inversión respecto a una circunferencia. P se aleja por un rayo mientras su imagen P' se acerca, manteniendo el producto OP × OP' igual a R².
Descargar circle-inversion.eido · Ver en el visor
Figuras sólidas
Diagonal espacial de un ortoedro
Este ejemplo muestra cómo crear una animación para demostrar la diagonal espacial de un ortoedro. La altura crece mientras las aserciones comprueban la diagonal de la base contra a² + b² y la diagonal espacial contra a² + b² + c².
Descargar cuboid-space-diagonal.eido · Ver en el visor
Razón de volúmenes entre cono y cilindro
Este ejemplo muestra cómo crear una animación para demostrar la razón de volúmenes entre un cono y un cilindro. Un radio común crece para ambos sólidos mientras las etiquetas de volumen mantienen la razón 3:1.
Descargar cone-and-cylinder-volume-ratio.eido · Ver en el visor
Circunferencia de intersección de dos esferas
Este ejemplo muestra cómo crear una animación para demostrar la circunferencia en la que se cortan dos esferas. La distancia entre los centros crece y la circunferencia común se encoge, siempre situada en el plano mediador.
Descargar intersection-circle-of-two-spheres.eido · Ver en el visor
Stella octangula
Este ejemplo muestra cómo crear una animación para demostrar la stella octangula. Un segundo tetraedro congruente gira hasta que, a 90 grados, ambos se interpenetran alrededor de un núcleo octaédrico regular.
