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…

In this short note I present an elementary proof of irrationality for the number "e," the base of the natural logarithm. It is simpler than other known proofs as it does not use comparisons with geometric series, nor Beukers' integrals, and it does not assume that "e" is a rational number from the beginning.

This paper contains interesting facts regarding the powers of odd ordered special circulant magic squares along with their magic constants. It is shown that we always obtain circulant semi-magic square and special circulant magic square in the case of even and odd positive integer powers of these magic squares respectively. These magic squares…

This study aims to explore the notion of the density of the set of rational numbers in the set of real numbers, as interpreted by undergraduate mathematics students. The data comprise 95 responses to a scripting task, in which participants were asked to extend a hypothetical dialog between two student characters, who argue about the existence of…

Windmill images and shapes have a long history in geometry and can be found in problems in different mathematical contexts. In this paper, we share and discuss various problems involving windmill shapes and solutions from geometry, algebra, to elementary number theory. These problems can be used, separately or together, for students to explore…

For a function "f": [real numbers set][superscript n]\{(0,…,0)}[right arrow][real numbers set] with continuous first partial derivatives, a theorem of Euler characterizes when "f" is a homogeneous function. This note determines whether the conclusion of Euler's theorem holds if the smoothness of "f" is not assumed. An…

Many tertiary institutions with mathematics programmes offer introduction to proof courses to ease mathematics students' transition from primarily calculation-based courses like Calculus and differential equations to proof-centred courses like real analysis and number theory. However, unlike most tertiary mathematics courses, whose mathematical…

We explore the connection between the notion of critical point for a function of one variable and various inequalities for iterated exponentials defined on the positive semiline of real numbers.

The fundamental theorem of arithmetic is one of those topics in mathematics that somehow "falls through the cracks" in a student's education. When asked to state this theorem, those few students who are willing to give it a try (most have no idea of its content) will say something like "every natural number can be broken down into a…

Theon's ladder is an ancient method for easily approximating "n"th roots of a real number "k." Previous work in this area has focused on modifying Theon's ladder to approximate roots of quadratic polynomials. We extend this work using techniques from linear algebra. We will show that a ladder associated to the quadratic…

Let R be an integral domain with quotient field F, let S be a non-empty subset of R and let n = 2 be an integer. If there exists a rational function ?: S [right arrow] F such that ?(a)[superscript n] = a for all a ? S, then S is finite. As a consequence, if F is an ordered field (for instance,[real numbers]) and S is an open interval in F, no such…

We present the basic theory of denesting nested square roots, from an elementary point of view, suitable for lower level coursework. Necessary and sufficient conditions are given for direct denesting, where the nested expression is rewritten as a sum of square roots of rational numbers, and for indirect denesting, where the nested expression is…

A relative extrema optimization problem is one in which the domain of the objective function (i.e. the function whose maximum or minimum value is to be found) is an open interval. An absolute extrema optimization problem is one in which the domain of the objective function is a closed interval. Analysis of task-based interviews conducted with 12…

In this article, we revisit the concept of strong differentiability of real functions of one variable, underlying the concept of differentiability. Our discussion is guided by the Straddle Lemma, which plays a key role in this context. The proofs of the results presented are designed to meet a young audience in mathematics, typical of students in…

We use the hyperbolic cotangent function to deduce another proof of Euler's formula for ?(2n).