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.

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…

A method is presented which can be used to obtain analytical solutions for boundary value problems (BVPs) using the matrix exponential and Maple. Systems of second order, linear differential equations are expressed as two or more first order equations in matrix form, and their solutions are obtained using the matrix exponential, matrix…

In this article, we consider certain minimization problems. If d[subscript 1], d[subscript 2] and d[subscript 3] are the distances of a boundary or inner point to the sides of a given triangle, find the point which minimizes d[subscript 1][superscript n] + d[subscript 2][superscript n] + d[subscript 3][superscript n] for positive integer n. These…

The recent development of ChatGPT, an artificial intelligence application that mimics human language, has many educators questioning its place in the classroom. This article provides suggestions for instructional uses of ChatGPT in the literacy classroom so that teachers can empower students to use this tool safely and effectively for learning.

This paper outlines the design of an interactive simulation of Stokes' law, which is used frequently in the study of particle sedimentation and flotation. The software application includes dynamic visualizations and statistical outputs. Descriptions of how the simulation can be used in a teaching context are provided. The application and its…

Despite rapid advances, modeling a variety of instructional designs to support variations in teaching and learning during the design of educational technologies is still an open challenge. In this paper, we propose a patterns based approach for the design of educational technologies to address this challenge. This is in contrast with existing…

E-learning is one of the fastest growing areas of the high technology development, especially in the academic environments. However, the instructor is a very important factor in the learning process, but the advantages of e-learning change the role which the instructor plays in this process. E-learning gives an opportunity to anyone to learn in a…

IT/IS educators continue to work to develop content and activities for teaching Agile practices, processes, and methodologies to their courses to ensure students have the skills expected by businesses. Given the wide range of tools and technologies that fall under the umbrella of Agile and the wide range of places where Agile is applied, educators…

Git, as the leading version-control system, is frequently employed by software developers, digital product managers, and knowledge workers. Information systems (IS) students aspiring to fill software engineering, management, or research positions would therefore benefit from familiarity with Git. However, teaching Git effectively can be…

The design and analysis of experiments (DOE) has historically been an important part of an education in statistics, and with the increasing complexity of modern production processes and the advent of large-scale online experiments, it continues to be highly relevant. In this article, we provide an extensive review of the literature on DOE…

An individual harmonic wave (i.e., having a single frequency and wavelength over all time and space) traveling in a loss-free medium has a single constant speed, which is equal to the magnitude of the phase velocity of the wave. However, when a set of different harmonic waves are traveling in the same direction, they interfere to form wave…

There has been a great deal written about ChatGPT since its launch in late 2022. Many news stories specifically address the impact of ChatGPT on education. However, there has been little research showing what K-12 teachers are thinking about and doing with ChatGPT. This research article helps to fill that gap. A survey of Missouri teachers was…

Plagiarism is a continuing and growing concern in higher education and in academic publishing. Educating to avoid plagiarism requires ongoing efforts at all levels and clear policies that explain the several types of plagiarism and potential consequences when it is found. Identifying plagiarism requires complex judgments and is not a simple matter…

Calculating analytical uncertainties as a part of method validation is a relevant aspect of field and laboratory practices in instrumental analytical chemistry subjects, which usually require complex algorithms. This work describes the development and didactic use of an automatic and straightforward informatics tool, implemented in an Excel macro,…