In this note we demonstrate two instances where matrix multiplication can be easily verified. In the first setting, the matrix product appears as matrix element concatenation, and in the second, the product coincides with matrix addition. General proofs for some results are provided with a more complete description for 2×2 matrices. Suggested for…

We propose an algorithm that allows calculating the remainder and the quotient of division between polynomials over commutative coefficient rings, without polynomial long division. We use the previous results to determine the quadratic factors of polynomials over commutative coefficient rings and, in particular, to completely factorize in Z[x] any…

In this article we consider two triangles: one inscribed in another. We prove that the area of the central triangle is at least the harmonic mean of the areas of corner triangles. We give two proofs of this theorem. One is based on Rigby inequality and the other is based on the known algebraic inequality, to which we bring a new, geometric, proof.…

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…

A growing emphasis on computational thinking worldwide necessitates student proficiency in creating algorithms. Focusing on the use of counterexamples for developing student-invented algorithms, I reanalyze two pieces of data from previously published research, pertaining to two different cases of students' algorithmatizing activity. In both…

The topic of recurrence relations has recently been introduced in many discrete mathematics textbooks. Recurrence relations are efficient modelling and problem-solving techniques used in mathematics. Combinatorial problems are often used to introduce recurrence relations. However, many textbooks consider problems that can be reduced only to the…

The present paper describes beautiful conservation relations between areas formed by different geometrical shapes and area relations formed by algebraic functions. The conservation properties were investigated by students at an academic college of education using a computerized technological tool and were subsequently accompanied by justified…

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…

This paper reports on themes that arose in an investigation of university lecturers' views on the teaching of linear algebra. This focus on themes was the initial part of a study concentrating on four areas: What is important to teach in a first course in linear algebra? Are there teaching methods which are particularly suited for such a course?…

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…

The set of functions {x[superscript q] | q[element of][real numbers set]} is linearly independent over R (with respect to any open subinterval of (0, 8)). The titular result is a corollary for any integer n = 2 (and the domain [0, 8)). Some more accessible proofs of that result are also given. Let F be a finite field of characteristic p and…

A geometrical task is presented with multiple solutions using different methods, in order to show the connection between various branches of mathematics and to highlight the importance of providing the students with an extensive 'mathematical toolbox'. Investigation of the property that appears in the task was carried out using a computerized tool.

We study the following family of integral-valued alternating sums, where -infinity equal to or less than m equal to or less than infinity and n equal to or greater than 0 are integers [equation omitted]. We first consider h[subscript m](n) for m and n non-negative integers and show that it is of the form 2[superscript n + 2m] - P[subscript m](n),…

While a significant amount of research has been devoted to exploring why university students struggle applying logic, limited work can be found on how students actually make sense of the notational and structural components used in association with logic. We adapt the theoretical framework of unitizing and reification, which have been effectively…