Synthetic Proofs & Word Problems

Intro

Up until René Descartes conceived of the ordered plane, we proved geometry theorems using logic, axioms, propositions and deductions. We wrote formal proofs with statements and justifications for those statements -- and the whole thing was quite impossible for many to master -- since it demanded pure logic and precise reference to create an invincible formal proof.

Now, however, thanks to Descartes, we can assign variables to represent points, equations to represent lines and curves in two dimensions and three dimensions -- so now we can prove geometry theorems with algebra. Such proofs are called synthetic proofs.

.

Synthetic Proofs

The main difference between a formal proof and a synthetic proof for a geometry deduction or proposition is there is no need to justify the algebraic statements of a synthetic proof whereas every statement in a formal proof must be justified by an axiom or proposition. Since the coordinates of the lines and points determine the variables in the algebra, one need only look at the graph or diagram in question to justify the statements.

Therefore, it is essential to make a diagram or graph when we want to prove things synthetically.

In lesson 3.4 of this MathRoom -- example 4 shows how to use numerical coordinates to prove the theorem that the line joining the midpoints of 2 sides of a triangle is parallel to the third side and equal to one half its length. Now, for an example of synthetic proof, we'll prove this is true for any triangle -- not the specific one in the example. I'll leave the second part of the proof -- to show the line is half the length of the base -- as an exercise.

As mentioned previously, a good approach is to use the axes and the origin as points in the figure whenever possible. It helps to keep the number of variables to a minimum since some of the coordinates will be 0.

The slope of MN = , The slope of OA = 0

So the lines are parallel.

Now use this diagram to prove that MN = ½ OA

by finding the length of each in terms of a and b.

.

.

.

Word Problems with Points, Distances and Linear Equations

In lesson 2 - point of division -- practice question 3, we did a word problem where we had to find the distance between the disabled cargo boat and the repair boat. If you need a reminder, check out the solution to this question.

This kind of question comes up time and again in city planning -- determining the path for sewers, highways, and utility lines.

The best, and in my opinion, the only way to deal with these questions is with a visual image -- a diagram. A well-labeled diagram can make things clear and precise allowing us to solve the problem easily. Without the picture, our brains can't grasp the concepts nearly as easily as with the picture -- so make a picture if you can -- especially when the question involves rectilinear figures or street maps. If our variables are defined in the diagram, we often omit the "let" statement -- for its obvious what the variables represent. However, it's best to always define our variables with a "let" statement.

.

.

Practice

1) In a Cartesian coordinate graph of a provincial park, a hiking trail is represented by the linear equation . The ranger's lookout tower is situated at the point P(26, 36). The scale on the graph is in meters.

diagram

.

1) The linear equation in General Form is x + 2y - 68 = 0

Now we use the formula for distance from a point to a line.

The distance from this line to the lookout tower at P(26, 36) is:

2) The moving truck travels at an average speed of 75 km/hr.

.

Back to Analytic Geometry Lesson Index

.

MathRoom Door

.