High School Mathematics

Introduction

These pages illustrates browsable on-line support for a simple, yet general, style of reasoning. We use as our benchmark the sort of mathematical problems encountered during late high school and first-year university studies. We hope to establish the utility of this format by solving some typical, randomly chosen, exercises drawn from high school mathematics.

Examples

Below is a small, but growing, list of problem examples that have been solved in a style that we hope will prove to be both natural and widely applicable.

Some of the comments in these examples hide subderivations. You can tell these comments because they appear as hyperlinks. If you click on one of these comments, then it will be replaced by the subderivation it describes. The top of an expanded subderivation is marked with a green dot like this one `'. If you click on the green dot, then the subderivation will be collapsed back into a comment.

Notation

We don't get have support for true mathematical notation in these examples. Until we do, the examples will use a textual approximation to the desired notation. Click here to see a glossary of the notation used. (You might like to open this link in a separate window so you can refer back to it while you read the examples.)

Note: In order to view these examples you need a WWW browser that supports tables, for example Netscape1.1. If the examples look flat and unstructured, then its probably because your browser does not support tables.

Doing High School Mathematics Carefully
- Example 5
Finnish High School Matriculation Mathematics Exam 1995
- Advanced Course
  - Question 3
    - Part A
    - Part B
  - Question 4
  - Question 5
    - Part A
    - Part B
- General Course
  - Question 1
  - Question 2
  - Question 3
  - Question 4
  - Question 5
  - Question 6
  - Question 7
  - Question 8
  - Question 9
  - Question 10

The HTML for these browsable proofs was produced using the ProofViews package by Jim Grundy. You too can use this package to create web browsable proofs in the same format.

Suggestions

If you would like to make any suggestions about the content or layout of these pages, then contact Jim Grundy who produced them, or Joakim von Wright who currently maintains them.

Jim.Grundy@cs.anu.edu.au