14 febrero 2016

I love desmos

Mucho más que una calculadora gráfica.


desmos es una herramienta en línea, gratuita para usos no comerciales, que permite de forma interactiva e instantánea representar gráficamente funciones (reales de una variable real) indicadas explícitamente o implícitamente, tanto de forma cartesiana, paramétrica o polar. Desde rectas y parábolas hasta derivadas y series de Fourier.

Abrir la gráfica en desmos
Además de realizar las operaciones habituales de una calculadora científica, desmos representa puntos, desigualdades y funciones definidas a trozos, maneja tablas de valores, muestra máximos, mínimos y puntos de intersección, realiza ajustes estadísticos y resuelve ecuaciones con raíces cuadradas, logaritmos, valor absoluto y más.

La plataforma desmos incorpora un buen número de funciones modelo que aparecen al crear una nueva gráfica. También ofrece un repositorio de materiales matemáticos producidos por los usuarios y otro de creaciones "artísticas" realizadas con desmos.

Lo más interesante desde un punto de vista didáctico es que los controles deslizantes hacen que sea muy sencillo ajustar valores de forma interactiva o animar cualquier parámetro para visualizar su efecto sobre la gráfica. Permite manipular y experimentar para desarrollar la intuición y aprender haciendo. Sin olvidar la posibilidad de generar actividades para ser realizadas por los alumnos, de las cuales desmos ofrece un repositorio, la mayoría en inglés.

Para conservar los escenarios creados es necesario registrase y archivarlos en los servicios de almacenamiento de "la nube" desmos, siendo posible decidor si se quiere, o no, hacerlos públicos.

desmos, además de en línea, también está disponible como aplicación para Android e iOS. En este caso, aunque no se disponga de acceso a la nube desmos, es posible utilizar la aplicación pero no es posible guardar las gráficas generadas. Sí es posible acceder a los ejemplos y modelos que hayan sido "cacheados" previamente.

Una última perla, el complemento ideal para desmos: GIFsmos genera GIFs animados a partir de gráficas desmos.

Sin duda desmos es una excelente herramienta, sencilla, potente y bella; totalmente recomendable. Es fácil quedarse enganchado si la pruebas.

¡Amor al primer mordisco! 

Para saber más:

23 enero 2016

Una casa con Geometría dinámica

Sobre disección y equicomposición de figuras


Ponerse a hacer reformas en casa es algo aterrador; nunca se sabe hasta dónde llegarán ni cómo acabarán. Por otro lado, llega a ser tedioso ver la casa siempre igual. La casa "D*Haus Dynamic", diseñada por el estudio londinense de arquitectos "D*Haus Company" puede ser una opción. En realidad va mucho más allá.


 


Esta casa "ecológica, versátil y adaptable" está diseñada para cambiar según las condiciones ambientales. Los gruesos muros externos y las pequeñas ventanas se convierten en paredes internas, a la vez que las paredes interiores de vidrio pasan a ser las fachadas. Las puertas se convierten en ventanas y viceversa. Según sus diseñadores "para la época de invierno, la casa en forma cuadrada, con pequeñas ventanas y gruesas paredes, se abraza a sí misma. Para tiempo más cálido, la casa se abre como una flor para permitir que la luz y el aire penetren en el interior del edificio y ofrecer completas vistas panorámicas de los alrededores".

D*Haus Company - D*Table - Ver vídeo
"D*Haus Company" es una firma innovadora que aplica de forma muy original la Geometría al mundo de la Arquitectura y del Diseño, siendo un magnífico ejemplo de desarrollo de productos basados en un concepto matemático. Además de la "casa dinámica" "D*Haus" ha diseñado también mesas y sistemas de iluminación basándose en la misma disección geométrica. 

Curiosamente, aunque las creaciones de D*Haus Company responden al estilo de vida más moderno, son la culminación de una historia que comienza hace más de un siglo.

El acertijo del mercero


Henry Ernest Dudeney (1857-1930) fue un creador inglés de ingeniosos retos y acertijos matemáticos, publicados en las revistas británicas más populares de la época y recopilados posteriormente en distintos libros. Funcionario de la Corona Británica, aunque no fue un matemático profesional sí alcanzó cierta formación matemática y, sobre todo, estuvo dotado de una gran intuición geométrica.

En 1902, Henry Dudeney publicó en el periódico semanal "Weekly Dispatch" un rompecabezas que planteaba un enigma desconcertante: cómo dividir un triángulo equilátero en cuatro piezas para que recolocadas formaran un cuadrado. En 1905 Dudeney realizo sendas presentaciones del problema ante las prestigiosas sociedades científicas "Royal Society" y "Royal Institution" de Londres. El mismo año fue publicado como desafío en el diario de gran difusión "Daily Mail" y según relata el propio Dudeney, después de recibir cientos de posibles soluciones no hubo ninguna correcta.

El reto fue incluido bajo el título "El acertijo del mercero" ("The Haberdasher's Puzzle") como problema número 26 en la recopilación "Los acertijos de Canterbury" ("The Canterbury Puzzles"), libro publicado por Dudeney en 1907, que narra la historia de un grupo de peregrinos con destino al santuario de San Thomas Becket en Canterbury. Los peregrinos se proponen unos a otros rompecabezas para entretenerse durante el camino. 

"El mercero se resistía a satisfacer las demandas de los peregrinos para que propusiera un acertijo. Tanto le insistieron... que al final se decidió, pidiendo que se le diera un paño en el que recortó un triángulo equilátero perfecto.

Luego, mostrándolo a los demás dijo: "¿Es alguno de vosotros tan diestro en el corte de género como yo? Estimo que no. Cada hombre a su oficio, aunque el estudioso puede aprender del lacayo y el sabio del necio. Mostradme, pues, una manera de cortar este trozo de género en cuatro piezas de manera que puedan reunirse formando un cuadrado perfecto".

Tras varios intentos, los más avezados mostraban soluciones cortando en triángulo en ¡cinco piezas! .... pero no en las cuatro que pedía el mercero. Mientras, él los observaba pero permanecía en silencio. Cuando finalmente le pidieron la solución casi recibe una paliza, pues, declaró que la había olvidado.

Al fin, tras varias noches de incertidumbre, el acertijo quedó resuelto".
Dudeney construyó la solución al acertijo en madera de ébano uniendo las cuatro piezas con bisagras de forma que al girar las piezas con un movimiento de la mano se podía pasar de una figura a la otra. Debido a ello se denomina como "disección de Dudeney" al tipo especial de disección de figuras geométricas en la que todas las piezas están conectadas en una cadena por puntos "bisagra", de tal manera que la transformación de una figura a otra puede llevarse a cabo haciendo pivotar la cadena de forma continua, sin cortar ninguna de las conexiones. En inglés de denominan también "hinged dissections" (hinge puede ser traducido como bisagra, gozne o articulación que gira).

Disección de figuras geométricas


Los rompecabezas consistentes en seccionar figuras en piezas y reensamblarlas para formar otra, como el acertijo del mercero, se han convertido en un clásico entre los divertimentos matemáticos. Son disecciones geométricas. El empleo del método de la disección ha sido fundamental en el cálculo de áreas desde los orígenes de la Geometría y también se utiliza frecuentemente en la enseñanza para justificar las fórmulas de cálculo del área de figuras elementales.

Disecciones 2-D

Dos figuras se dicen equicompuestas si cortando de cierto modo una de ellas en un número finito de partes, se puede, al disponer estas partes de otra forma, componer con ellas la segunda figura. Claramente, si dos figuras son equicompuestas tienen la misma área. La pregunta recíproca de si dos figuras con la misma área son equicompuestas no tiene una respuesta tan evidente.

El teorema de Wallace-Bolyai–Gerwien establece que tiene una respuesta afirmativa en el caso de los polígonos: Si dos polígonos tienen igual área uno de ellos se puede dividir en partes de forma que es posible componer el segundo trasladando y rotando las piezas obtenidas en la disección. Polígono quiere decir, en este contexto, una figura limitada por un número finito de líneas quebradas formadas por un número finito de segmentos rectilíneos. Puede tener "agujeros". Lo importante es que sea posible dividir la figura en un número finito de triángulos.

La atribución de la autoría original de la demostración es una historia enrevesada. El matemático húngaro Farkas Bolyai demostró el anterior teorema en 1832 y el militar alemán aficionado a las Matemáticas P. Gerwien dio una demostración en 1833 sin tener conocimiento de la de Bolyai. Hay indicios de que el matemático escocés William Wallace ya había dado una demostración en 1807.

Según el teorema de Wallace-Bolyai–Gerwien en el caso de los polígonos es equivalente equicomposición y tener la misma área.

Disecciones 3-D

Si damos el salto de dimensión 2 a dimensión 3 nos preguntaremos si con los poliedros pasa algo análogo. Dos poliedros se dicen equicompuestos si al cortar de cierto modo uno de ellos en un número finito de piezas poliédricas, se puede, al disponer estas piezas de otra forma, componer con ellas el segundo. De forma semejante al caso de los polígonos, claramente, si dos poliedros son equicompuestos tiene el mismo volumen. En este caso la pregunta recíproca de si dos poliedros con el mismo volumen son siempre equicompuestos tiene respuesta negativa.

Se trata de un problema difícil; el tercero en la famosa colección de 23 problemas compilados por Hilbert para la conferencia en París del Congreso Internacional de Matemáticos de 1900 con el objeto de estimular la investigación matemática durante el nuevo siglo. El propio Hilbert, basándose en trabajos de Gauss, ya conjeturó la imposibilidad de equicomponer algunos poliedros del mismo volumen. Y en el mismo año 1900, el matemático Max Wilhelm Dehn, nacido en Alemania y alumno de Hilbert, demostró como contraejemplo que el cubo y el tetraedro del mismo volumen no son equicompuestos.

Según el teorema de Dehn en el caso de los poliedros no es equivalente equicomposición y tener el mismo volumen.

Fuera de Euclilandia

Si abandonamos el mundo euclídeo tenemos que, tanto en la geometría hiperbólica como en la esférica en dos dimensiones, para los polígonos sigue siendo equivalente tener la misma área y ser equicompuestos. Pero en ambas geometrías es desconocido qué sucede en tres dimensiones; no se sabe si para los poliedros es equivalente o no, tener el mismo volumen y ser equicompuestos.

"Rompecabezas" de otro tipo

Anteriormente hemos hecho referencia a teoremas y conjeturas, acabaremos mencionando una paradoja, un resultado aparentemente contrario a la lógica pero demostrado de forma totalmente rigurosa. La "Paradoja de Banach-Tarski" establece que en tres dimensiones es posible descomponer una esfera en un número finito de piezas (se ha demostrado que son suficientes 5 y que con 4 es imposible) de forma que utilizando únicamente movimientos rígidos (sin deformar las piezas), pueden ser reensambladas para componer dos copias de la esfera original. De manera informal se suele decir que "Un guisante puede trocearse y reensamblarse para formar el Sol".

Las aparentes contradicciones de esta paradoja con nuestra intuición y con los resultados comentados anteriormente no es tal si consideramos que las piezas en las que hay que dividir la esfera "no tienen medida". Las piezas obtenidas en la descomposición tienen una forma tan extraña que no tiene sentido hablar de su volumen.

Además la demostración de la paradoja de Banach-Tarski necesita del axioma de elección por lo que no ofrece una solución constructiva al contrario que la "D*Haus Dynamic" con la que comenzábamos. ;-) 


Para saber más:
  • Boltianski, V.G.: Figuras equivalentes y equicompuestas. Lecciones Populares de matemáticas, Ed. Mir, Moscú 1981.
Esta entrada participa en la Edición 6.X "El grafo" del Carnaval de Matemáticas, cuyo anfitrión es el blog Cifras y Teclas 

02 enero 2016

Feliz 2016


En notación más "sunya".

Pido disculpas por la fricada.
Es lo que tienen los excesos de comienzo de año ;-)

16 diciembre 2015

Firma manuscrita de documentos digitales

Sobre la incorporación de documentos digitales a libros de actas de papel


En el Instituto de Educación Secundaria donde trabajo cada Departamento Didáctico debe mantener un libro de actas donde queden registradas las reuniones semanales de sus miembros. Se trata de un libro tangible, de papel, con actas escritas a mano y firmas manuscritas de los asistentes a cada reunión. No se permiten las actas en formato electrónico.

Al comienzo de curso, los miembros de cada Departamento tenemos que consensuar los contenidos mínimos de las distintas asignatura adscritas. Además los contenidos mínimos acordados tienen que aparecer en el libro de actas del Departamento y ser firmados por sus miembros. Por otra parte los contenidos mínimos han de ser públicos y figurar en la web del Instituto.

Transcribir de forma manuscrita al libro de actas los contenidos mínimos de cada asignatura supone una dedicación considerable. Asegurar que los documentos que aparecen en la web son los que figuran en las actas firmadas por los profesores es más complicado que lo que en una primera impresión pudiera parecer. El socorrido método de digitalizar los documentos firmados a través de un escáner o de una fotografía, y colgarlos en la web no ofrece todas las garantías exigibles.

Usando algo de criptografía


www.firma-electronica.eu
Las Matemáticas nos permiten, de forma eficiente y con una certeza razonable y adecuada a la necesidad, garantizar que los documentos en formato digital que los profesores hemos firmado no han sido alterados posteriormente. Es decir, se trata de garantizar la integridad de los mencionados documentos. También permiten asegurar que esos mismos documentos son los que aparecen en la web.

La idea es muy sencilla. A partir de cada documento digital que necesita ser firmado generamos un resumen digital utilizando el algoritmo MD5. Para ello usamos la utilidad freeware HashMyFiles desarrollada por NirSoft; es muy fácil encontrar en la red otras herramientas semejantes. Escribimos en el acta correspondiente el nombre de cada archivo informático y los 32 caracteres que componen su resumen digital; más exactamente, escribimos los 32 dígitos hexadecimales que representan los 128 bits que forman el resumen. Y firmamos de forma manuscrita el acta.

Qué es un resumen digital

Wikipedia: función hash
Una función de resumen digital, también denominada hash (que significa en inglés picar y mezclar), es un conjunto de reglas bien definidas, ordenadas y finitas que consigue mediante pasos sucesivos crear a partir de un texto (por ejemplo un documento, una contraseña o un archivo de cualquier tipo) otro texto, de longitud normalmente fija y pequeña, que depende del primero.

Para ser útil en criptografía una función de generación de resúmenes tiene que cumplir un conjunto de propiedades:
  • Debe ser fácil calcular el resumen de cualquier texto.
  • Debe ser "computacionalmente imposible" deducir el texto original a partir del resumen de un texto desconocido.
  • El resumen debe tener una longitud fija independiente de la longitud del texto original y normalmente menor.
  • El resumen debe depender de todos los bits del texto original. Si se modifica en él un solo bit, el nuevo resumen debería cambiar sustancialmente.
  • Será "computacionalmente imposible" a partir de un texto determinado, encontrar otro texto distinto que tenga el mismo resumen que el primero. Ésto se conoce como resistencia débil a las colisiones.
  • Será "computacionalmente difícil" encontrar un par de textos con el mismo resumen. Esto se conoce como resistencia fuerte a las colisiones.
Estas funciones sirven, entre otros cometidos, para asegurar que no se ha modificado un archivo en una transmisión, hacer ilegible una contraseña o firmar digitalmente un documento.

Qué es el algoritmo MD5

Ronald L. Rivest - MIT
El algoritmo de resumen criptográfico MD5 (Message Digest 5) fue desarrollado en 1992 por el profesor Ronald Rivest del MIT (Instituto Tecnológico de Massachusetts) para mejorar el nivel de seguridad ofrecido por las versiones anteriores de MD, cuidando que fuera sencillo de codificar en forma de programa informático y rápido en su utilización. A partir de cualquier texto, produce siempre un resumen de 128 bits de longitud.

En un principio fue considerado criptográficamente seguro. Pero desde que hacia 2005 ciertas investigaciones revelaron algunas vulnerabilidades, muchos investigadores recomiendan su sustitución por algoritmos alternativos con mayor nivel de seguridad como SHA-1 o RIPEMD-160. A pesar de ello es un algoritmo de resumen muy fácil y rápido de utilizar que es totalmente adecuado para el nivel de exigencia de nuestro propósito.


Para saber más:

Diferenciar la firma digital de la firma electrónica.
http://www.firma-electronica.eu/firma-electronica-digital.html

Información sobre la firma electrónica, firma digital y las posibilidades de aplicación. Descripción de productos software y hardware para la firma electrónica escrita.
http://www.firma-electronica.eu

HashMyFiles: Utilidad desarrollada por Nir Sofer para sistemas operativos Windows que permite generar resúmenes digitales de archivos, utilizando distintos algoritmos como MD5/SHA1/CRC32. No necesita instalación. Utilizable a través de su interface gráfico o en modo comando, lo que permite su inclusión en ficheros de procesamiento por lotes.
http://www.nirsoft.net/utils/hash_my_files.html

26 septiembre 2015

¿Para qué sirven las Matemáticas?

claimtoken-566dce4b27161

Las Matemáticas son para siempre


Con humor cautivante, el matemático Eduardo Saénz de Cabezón responde a una de las preguntas más habituales entre los estudiantes: ¿Para qué sirven las Matemáticas?. Explica cómo las Matemáticas, interesantes y bellas por sí mismas, dan soporte y rigor a todas las demás ciencias y a la técnica. Cómo "nos hace comprender mejor el mundo este hermoso en el que estamos y nos ayudan a sortear las trampas del mundo este doloroso en el que estamos". También reflexiona sobre la diferencia entre demostración y conjetura, y la eternidad de los teoremas matemáticos. Acaba con una recomendación sobre cómo usar las Matemáticas para expresar tu amor por otra persona.

Eduardo Saénz de Cabezón es profesor del Departamento de Matemáticas y Computación de la Universidad de La Rioja, y miembro de "The big van theory", grupo de científicos que hacen divulgación mezclando ciencia y humor en sus espectáculos.


Este monólogo podría considerarse como la evolución de "Un teorema es para siempre" con el que ganó la final española de FameLab, el principal certamen internacional de monólogos científicos.

Eduardo y sus relatos han sido muy buenos desde siempre y siguen ganando calidad con el tiempo, como los grandes vinos de Rioja. Toda una demostración magistral de cómo hacer divulgación científica con humor. Me entusiasman sus narraciones. Siempre hay interés en lo que nos cuenta. Pero sobre todo, admiro su capacidad para comunicar, su habilidad para explicar las mates de forma amena y divertida. Envidio el clima alcanzado en sus relatos y aspiro a lograrlo en las clases con mis alumnos. Todo un modelo didáctico. 

09 septiembre 2015

Rompecabezas de rectángulos en 3D

¡Un poco más complicado!


Si te apetece un mayor nivel de dificultad, puedes enfrentarte a rompecabezas de "rectángulos" en 3D. En este caso además de rectángulos aparecen también ortoedros, es decir, prismas rectos de caras rectangulares, como las cajas de zapatos. Estos sí serían verdaderamente laberintos de bloques.

¡Atrévete a tratar de resolverlos!

Laberinto 3D nº 1:



Para ver una solución haz clic aquí ▼▲

Laberinto 3D nº 2:


Para ver una solución haz clic aquí ▼▲

Laberinto 3D nº 3:


Para ver una solución haz clic aquí ▼▲