The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

We consider a problem appearing in an Australian Mathematics Challenge in 2003. This article considers whether a spreadsheet might be used to model this problem, thus allowing students to explore its structure within the spreadsheet environment. It then goes on to reflect on some general principles of problem decomposition when the final goal is a…

A computer algebra system is used to derive a theorem on the existence of roots of a quadratic equation on any bounded real interval. This is extended to a cubic polynomial. We discuss how students could be led to derive and prove these theorems. (Contains 1 figure.)

This article provides a survey of some basic results in algebraic number theory and applies this material to prove that the cyclotomic integers generated by a seventh root of unity are a unique factorization domain. Part of the proof uses the computer algebra system Maple to find and verify factorizations. The proofs use a combination of historic…

Using dynamic graphs, future secondary mathematics teachers were able to represent and communicate their understanding of a brief mathematical investigation in a way that a symbolic proof of the problem could not. Four different student work samples are discussed. (Contains 6 figures.)

Dynamic geometry software (DGS) such as Cabri and Geometers' Sketchpad has been regularly used worldwide for teaching and learning Euclidean geometry for a long time. The DGS with its inductive nature allows students to learn Euclidean geometry via explorations. However, with respect to non-Euclidean geometries, do we need to introduce them to…

The purpose of this paper is to provide examples of "non-traditional conjectures" in a dynamic geometry environment that can be used to stimulate students to provide proofs. The author believes that teachers can ask their students to find out if these conjectures are true; if the conjectures are true, then the students can come up with their own…

This paper reports an example of a situation in which university students had to solve geometrical problems presented to them dynamically using the interactive computerized environment of the "MicroWorlds Project Builder". In the process of the problem solving, the students used ten different solution strategies. The unsuccessful…

The usual formula for variance depending on rounding off the sample mean lacks precision, especially when computer programs are used for the calculation. The well-known simplification of the total sums of squares does not always give benefit. Since the variance of two observations is easily calculated without the use of a sample mean, and the…

Given a conic section, the locus of a moving point in the plane of the conic section such that the two tangent lines drawn to the conic section from the moving point are all mutually perpendicular is a curve. In the case of an ellipse and hyperbola this curve is a circle referred to as the director circle. In the case of the parabola this curve…