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…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

A simple in-class demonstration of integral Calculus for first-time students is described for straightforward whole number area magnitudes, for ease of understanding. Following the Second Fundamental Theorem of the Calculus, macroscopic differences in ordinal values of several integrals, [delta]"F"(x), are compared to the regions of area…

In this paper, we give possible suggestions for a classroom lesson about an application of probability using basic mathematical notions. We will approach to some combinatoric results without using "induction", "polynomial identities" nor "generating functions", and will give a proof of the "Vandermonde…

This article adopts the following classification for a Euclidean planar [triangle]ABC, purely based on angles alone. A Euclidean planar triangle is said to be acute angled if all the three angles of the Euclidean planar [triangle]ABC are acute angles. It is said to be right angled at a specific vertex, say B, if the angle ?ABC is a right angle…

This note uses the analytic notion of asymptotic functions to study when a function is asymptotic to a polynomial function. Along with associated existence and uniqueness results, this kind of asymptotic behaviour is related to the type of asymptote that was recently defined in a more geometric way. Applications are given to rational functions and…

The purpose of this article is to provide examples of "non-traditional" theorems that can be explored in a dynamic geometry environment by university and high school students. These theorems were encountered in the dynamic geometry environment. The author believes that teachers can ask their students to construct proofs for these theorems. The…

College students enrolling in the calculus sequence have a wide variance in their preparation and abilities, yet they are usually taught from the same lecture. We describe another pedagogical model of Individualized Additional Instruction (IAI) that assesses each student frequently and prescribes further instruction and homework based on the…

We present a teaching approach to uniform continuity on unbounded intervals which, hopefully, may help to meet the following pedagogical objectives: (i) To provide students with efficient and simple criteria to decide whether a continuous function is also uniformly continuous; and (ii) To provide students with skill to recognize graphically…

In this article we describe the process of studying the assumptions and the conclusion of a theorem. We tried to provide the students with exercises and problems where we discuss the following questions: What are the assumptions of a theorem and what are the conclusions? What is the geometrical meaning of a theorem? What happens when one or more…

For many years, the author has been involving his students in classroom teaching of their own classes. The day-to-day practice is described, and the advantages and disadvantages for both the instructor and the students are discussed. Comparisons with the Moore Method of teaching are made.

In this paper the didactically-methodological procedure named the MTE-model of mathematics teaching (Motivation test-Teaching-Examination test) is suggested and recommended when the teacher has subsequent lessons. This model is presented in detail through the processing of a nonstandard theme--the theme of decomposition of planes. Its efficiency…

It is well known that the uniform limit of a sequence of continuous real-valued functions defined on an interval I is itself continuous. However, if the convergence is pointwise, the limit function need not be continuous (take f[subscript n](x) = x[superscript n] on [0, 1], for example). Boas has shown that the pointwise limit function of a…

Several ways for solving inequalities have been suggested in the literature, among them graphical, verbal and algebraic solutions. A new look at solving inequalities via use of the intermediate value theorem is presented here, and this method may prove to be straightforward for many students.

Procedural evaluations of limits of functions provide invariably better understanding of the limits than the approximations using a calculator. The purpose of this article is to demonstrate that better understanding can be promoted if mathematical understanding precedes the impulse to use calculators. The note clarifies the stages when the…