• Research in Mathematical Education
• /
• v.23 no.1
• /
• pp.1-12
• /
• 2020

In this case study, a professor was observed to investigate use of instructional examples when teaching the Intermediate Value Theorem in a calculus course. Video-recorded lessons were analyzed with constant comparison to video-stimulated recall interviews and field notes. The professor employed multiple instructional examples, which was initiated by students and modified by the professor. The professor asked students to build non-existing examples as an informal proof of the Intermediate Value Theorem and assessment of students' previous knowledge. Use of incorrect examples on instructional purpose can be an appropriate way for formative assessment as well as a bridge between informal and formal proofs in college mathematics.

• Research in Mathematical Education
• /
• v.27 no.1
• /
• pp.75-92
• /
• 2024

Mathematical argument has been given much attention in the research literature as a mediating construct between reasoning and proof. However, there have been relatively less efforts made in the research that examined the nature of empirical arguments represented in textbooks and how students perceive them as proofs. Cases of point include Intermediate Value Theorem [IVT] and Maximum-Minimum theorem [MMT] in grade 11 in Korea. In this study, using Toulmin's framework (1958), the author analyzed the substance of the empirical arguments provided for both MMT and IVT to draw comparisons between the nature of datum, claims, and warrants among empirical arguments offered in textbooks. Also, an online survey was administered to learn about how students view as proofs the empirical arguments provided for MMT and IVT. Results indicate that nearly half of students tended to accept the empirical arguments as proofs. Implications are discussed to suggest alternative approaches for teaching MMT and IVT.

• East Asian mathematical journal
• /
• v.24 no.3
• /
• pp.289-293
• /
• 2008

We recently showed in [5] a semilocal convergence theorem that guarantees convergence of Newton's method to a locally unique solution of a nonlinear equation under hypotheses weaker than those of the Newton-Kantorovich theorem [7]. Here, we first weaken Miranda's theorem [1], [9], [10], which is a generalization of the intermediate value theorem. Then, we show that operators satisfying the weakened Newton-Kantorovich conditions satisfy those of the weakened Miranda’s theorem.

• Journal of the Korean Mathematical Society
• /
• v.48 no.3
• /
• pp.641-653
• /
• 2011

The intermediate value theorem for a continuous real valued function is a kind of Bolzano's theorem. Similar results also hold for compact, monotone or accretive mappings in Banach spaces. In this paper we give multivalued versions of Bolzano's theorem.

• Journal of applied mathematics & informatics
• /
• v.42 no.4
• /
• pp.749-759
• /
• 2024

In this manuscript, we formulate the notion of Ω(H, θ)-contraction on a self mapping f : W → W, this contraction based on the concept of Ω-distance mappings equipped on G-metric spaces together with the concept of H-simulation functions and the class of Θ-functions, we employ our new contraction to unify the existence and uniqueness of some new fixed point results. Moreover, we formulate a numerical example and a significant application to show the novelty of our results; our application is based on the significant idea that the solution of an equation in a certain condition is similar to the solution of a fixed point equation. We are utilizing this idea to prove that the equation, under certain conditions, not only has a solution as the Intermediate Value Theorem says but also that this solution is unique.