Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

## #1 2012-08-30 07:28:47

TARAJS
Member

Offline

### GEOM Proof. Incidence geometry

If there exists a unique point p sch that p lies on both l and m, then l and m are distinct, non parallel lines.

Prove using Incidence geometry axioms. A full proof would be wonderful.

## #2 2012-08-30 07:36:29

anonimnystefy
Real Member

Offline

### Re: GEOM Proof. Incidence geometry

If l and m were the same then they would have more than one points that lie on both.

If l and m were parallel or skew, then there would be no point that lies on both lines.

The only option left is that they intersect and are thus distinct and non-parallel.

The limit operator is just an excuse for doing something you know you can't.
“It's the subject that nobody knows anything about that we can all talk about!” ― Richard Feynman
“Taking a new step, uttering a new word, is what people fear most.” ― Fyodor Dostoyevsky, Crime and Punishment

## #3 2012-08-30 07:38:44

TARAJS
Member

Offline

### Re: GEOM Proof. Incidence geometry

ok  i need to use IG axioms.

## #4 2012-08-30 10:30:19

bobbym

Online

### Re: GEOM Proof. Incidence geometry

Hi TARAJS;

What are IG axioms?

In mathematics, you don't understand things. You just get used to them.
I have the result, but I do not yet know how to get it.
All physicists, and a good many quite respectable mathematicians are contemptuous about proof.

## #5 2012-08-30 16:59:53

bob bundy
Moderator

Offline

### Re: GEOM Proof. Incidence geometry

Axioms of Incidence Geometry

Incidence Axiom 1. For every pair of distinct points P and Q there is exactly one line such that P and Q lie on .

Incidence Axiom 2. For every line  there exist at least two distinct points P and Q such that both P and Q lie on .

Incidence Axiom 3. There exist three points that do not all lie on any one line.

Definitions :

meet (intersect) Instead of saying that the intersection of two lines is a nonempty set, we shall simply say that the two lines meet, or pass through a contain point.

lie on When a point belongs to a line or a plane, we say it lies on the line or the plane, or we say that the line or plane passes through the point. When a line is a subset of a plane, we say it lies on the plane.

concurrent Two or more lines or planes that meet at the same point are called concurrent.

collinear Two or more points that lie on the same line are said to be collinear.

determine Two points are said to be determine a line if there exists a unique line passing through them,
and three points determine a plane if there exists a unique plane passing through them

parallel Two lines are parallel if they have no points at all in common. (They do not meet.)

To prove:

If there exists a unique point p such that p lies on both l and m, then l and m are distinct, non parallel lines.

If p exists then the lines are not parallel (definition of parallel)

Suppose l and m are not distinct.

=> There exists at least two points on both l and m  =><=  p is unique.

=> l and m are distinct.

Bob

You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

## #6 2012-08-30 21:50:39

anonimnystefy
Real Member

Offline

### Re: GEOM Proof. Incidence geometry

Hi Bob

The definition of parallel lines you quoted is flawed. Two lines are parallel iff they have no common points or have all points in common ie. are the same line.

The limit operator is just an excuse for doing something you know you can't.
“It's the subject that nobody knows anything about that we can all talk about!” ― Richard Feynman
“Taking a new step, uttering a new word, is what people fear most.” ― Fyodor Dostoyevsky, Crime and Punishment

## #7 2012-08-30 22:23:07

bob bundy
Moderator

Offline

### Re: GEOM Proof. Incidence geometry

hi Stefy,

That set of definitions also doesn't properly cover skewed lines.

But, when setting up a system of axioms, you can make any rules you like.  incident geometry isn't the same as Euclidean geometry, so that definition may be OK for IG.  The point is, you have to work within the rules you are given; not alter them to suit yourself.

Pure mathematicians like to think that a precise, self consistent, set of axioms makes the topic perfectly rigorous, but the definition problem shows the flaw in that thinking.  You have to define your terms; and that means using words; and that means you have to define those; which means you have to use more words; which .........

Sometimes the definitions go round in circles.

(a) First law: If an object experiences no net force, then its velocity is constant; the object is either at rest (if its velocity is zero), or it moves in a straight line with constant speed (if its velocity is nonzero).

So, what is a force?

(b) A force is that which can cause an object with mass to change its velocity

Bob

You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

## #8 2012-08-30 22:33:37

anonimnystefy
Real Member

Offline

### Re: GEOM Proof. Incidence geometry

Hi Bob

We were doing axiomatic geometry in the 9th grade. We always said that two lines are parallel iff they are the same or have no common points, but lie in the same plane. If it wasn't for that, then we would lose some interesting properties of parallelism. It wouldn't be an equivalence relation. We would lose the property that any two lines that lie in a common plane and are perpendicular to the same line are parallel. There is more of that. It is like defining x^0=1 for x<>0. It is not necessary for it to hopld, but if it does, some interesting things arise.

The limit operator is just an excuse for doing something you know you can't.
“It's the subject that nobody knows anything about that we can all talk about!” ― Richard Feynman
“Taking a new step, uttering a new word, is what people fear most.” ― Fyodor Dostoyevsky, Crime and Punishment

## #9 2012-08-30 22:48:36

bob bundy
Moderator

Offline

### Re: GEOM Proof. Incidence geometry

Ok.

But it doesn't alter the 'proof' as I 'dismiss' the equality case at the start.

Bob

You cannot teach a man anything;  you can only help him find it within himself..........Galileo Galilei

## #10 2012-08-30 23:24:13

anonimnystefy
Real Member

Offline

### Re: GEOM Proof. Incidence geometry

I have nothing against the proof. Just the definitions you quoted.

The limit operator is just an excuse for doing something you know you can't.
“It's the subject that nobody knows anything about that we can all talk about!” ― Richard Feynman
“Taking a new step, uttering a new word, is what people fear most.” ― Fyodor Dostoyevsky, Crime and Punishment

## #11 2012-09-27 06:55:08

TARAJS
Member

Offline

### Re: GEOM Proof. Incidence geometry

I know this is super late but thank you so much for your help bob!