GeoGebra is a dynamic mathematics software that, among other things, allows the construction of geometric objects, which can be manipulated by dragging and thus observing the changes that the construction undergoes and the relationships that remain constant in it. In recent years, an experimental version called GeoGebra Discovery has been incorporated into GeoGebra. This version consists of a collection of tools and commands that enable rigorous mathematical verification and the automatic discovery of propositions about geometric figures. In other words, GeoGebra Discovery is a version of GeoGebra that complements, improves and extends certain automatic reasoning tools that are in the standard version. The objective of this document is to describe some of these tools and illustrate their use with examples that allow the user to visualize and interpret plane geometry results obtained in the developed constructions.GeoGebra es un software de matemáticas dinámicas que, entre otros, permite la construcción de objetos geométricos, que pueden manipularse a través del arrastre y así observar los cambios que experimenta la construcción y las relaciones que permanecen constantes en la misma. En los últimos años se ha incorporado a GeoGebra una versión experimental llamada GeoGebra Discovery, que consiste en una colección de herramientas y comandos, que posibilitan la verificación matemática rigurosa y el descubrimiento automático de proposiciones sobre figuras geométricas, es decir, GeoGebra Discovery es una versión de GeoGebra que complementa, mejora y amplia determinadas herramientas de razonamiento automático que están en la versión estándar. El objetivo de este documento es el de describir algunas de estas herramientas e ilustrar su uso con ejemplos que permitan al usuario visualizar e interpretar resultados de geometría plana obtenidos en las construcciones desarrolladas.GeoGebra é um software de matemática dinâmico que, entre outras coisas, entre outros, permite a construção de objetos geométricos. Esses objetos podem ser manipulados por meio de arrastar e soltar, permitindo ao usuário observar as mudanças que ocorrem na construção e as relações que permanecem constantes na mesma. Nos últimos anos, uma versão experimental chamada GeoGebra Discovery foi incorporada ao GeoGebra. Esta versão consiste em uma coleção de ferramentas e comandos que permitem uma verificação matemática rigorosa e a descoberta automática de proposições sobre figuras geométricas. Em outras palavras, o GeoGebra Discovery é uma versão do GeoGebra que complementa, melhora e estende certas ferramentas de raciocínio automático que estão na versão padrão. O objetivo deste documento é descrever algumas dessas ferramentas e ilustrar sua utilização com exemplos que permitam ao usuário visualizar e interpretar resultados de geometria plana obtidos nas construções desenvolvidas.