Computing bisectors in a dynamic geometry environment
In this note, an approach combining dynamic geometry and automated deduction techniques is used to study the bisectors between points and curves. Usual teacher constructions for bisectors are discussed, showing that inherent limitations in dynamic geometry software impede their thorough study. We sh...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2013 |
| País: | España |
| Institución: | Universidad de Cantabria (UC) |
| Repositorio: | UCrea Repositorio Abierto de la Universidad de Cantabria |
| Idioma: | inglés |
| OAI Identifier: | oai:repositorio.unican.es:10902/5257 |
| Acceso en línea: | http://hdl.handle.net/10902/5257 |
| Access Level: | acceso abierto |
| Palabra clave: | Bisector Geometric loci Dynamic geometry |
| Sumario: | In this note, an approach combining dynamic geometry and automated deduction techniques is used to study the bisectors between points and curves. Usual teacher constructions for bisectors are discussed, showing that inherent limitations in dynamic geometry software impede their thorough study. We show that the interactive sketching of bisectors and an automatic treatment of the algebraic problem involved can give a reasonable knowledge about them. Since some cases are currently out of computational scope, despite the simplicity of the bisector problem, we sketch an alternative method for dealing with them. |
|---|