A fascinating and catchy method for proving that a number of special lines concur is using the concept of locus. This is now the classical method for proving the concurrency of the internal angle bisectors and perpendicular side bisectors of a triangle. In this paper, we prove the concurrency of the altitudes and the medians by showing that they…

The orthogonality of eigenfunctions in problems of unsteady heat conduction in an infinite slab with symmetric and nonsymmetric convective boundary conditions are demonstrated by performing actual integration of the products of the derived forms of eigenfunctions and by implementing the corresponding eigenvalue conditions. The analysis also…

Using the basic properties of the base-b representation of rational numbers, we will give an elementary proof of Gauss's lemma: "Every real root of a monic polynomial with integer coefficients is either an integer or irrational." The paper offers a new perspective in understanding the meaning of 'irrational numbers' from a deeper…

Two novel proofs show that the sum of a specific pair of normal random variables is not normal are established in this note. This is one of the most often misunderstood facts by first-year students in probability theory and statistics. The first proof is concise using the moment generating function. The second proof checks whether the moments of…

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.

For a given rational number r, a classical theorem of Niven asserts that if cos(rp) is rational, then cos(rp) [element-of] {0,±1,±1/2}. In this note, we extend Niven's theorem to quadratic irrationalities and present an elementary proof of that.

In this paper, we provide a conceptual framework of the central aspects of mathematical definitions discussed in the mathematics education literature. Based on a systematic literature review, we found that characterizations of definitions in the mathematics education literature can be classified into five main themes: requirements, preferred…

In high school geometry, students are expected to deepen their understanding of geometric shapes and their properties, as well as construct formal mathematical proofs of theorems and geometric relationships. The process of helping students learn to construct a geometric proof can be challenging given the multiple competencies involved (Cirillo…

Beyond mathematical complexity, a proof's length may, in and of itself, impede its comprehension. The same would apply to constructions, calculations and other mathematical expositions. Today's technology provides readers websites and electronic documents with hyperlinks, giving readers direct access from one location of the exposition to a…

An interesting geometric conservation problem is presented. Here proof is presented in a 'proof without words' style, with the aim of developing the reader's visual proof ability. The study of the task and its expansion is accompanied by a dynamic sketch to highlight the conservation property.

Combinatorial proofs of binomial identities involve establishing an identity by arguing that each side enumerates a certain set of outcomes. In this paper, we share results from interviews with experienced provers (mathematicians and upper-division undergraduate mathematics students) and examine one particular aspect of combinatorial proof, namely…

This paper introduces the concept of logical consistency in students' thinking in mathematical contexts. We present the Logical in-Consistency (LinC) instrument as a valuable assessment tool designed to examine the prevalence and types of logical inconsistencies among undergraduate students' evaluation of mathematical statements and accompanying…

This article presents an inquiry-oriented lesson for teaching Lagrange's theorem in abstract algebra. This lesson was developed and refined as part of a larger grant project focused on how to "Orchestrate Discussions Around Proof" (ODAP, the name of the project). The lesson components were developed and refined with attention to how well…

In this paper, a simple proof of the Morley's Trisector Theorem is presented which involves basic plane geometry only. The use of backward geometric approach, trigonometry or advanced mathematical techniques is not required. It is suitable for introducing to secondary or undergraduate students, as well as teachers or instructors for learning or…

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…