In this article, we state an interesting geometric conservation property between the three angle bisectors of three similar right triangles and provide a proof without words for its justification. A GeoGebra applet is also presented to help with the understanding of the progression of the proof from inductive to deductive stage.

Hands-on experiments with overturning some prisms (partially filled with water) lead students to a conjecture which can be confirmed by using a 3D geometry programme and reinterpreting the process of "overturning of a prism" in an appropriate way. But such confirmations are not a proof and particularly cannot answer the question…

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

Traditional rote learning methods often fail to adequately develop reasoning skills in mathematics, particularly among pre-university students. This study addresses challenges in fostering mathematical reasoning abilities, as evidenced by declining TIMSS results and resistance to pedagogical innovations. My online teaching with GeoGebra (MyOT_G+)…

Educational institutions around the world have been integrating AI into their educational practices. Many studies and reports highlight both the advantages and disadvantages of this integration. This paper focuses on the positive aspects of AI in education, specifically through the lens of a high school geometry project at a technology-focused…