Prove the distance from a point to itself is zero?
Basically it's just travelling from one point to another, and since you are travelling from the point A to point A (the same) you don't travel at all, making it zero.
I'm too lazy to prove it mathematically. (think)
you could use the distance formula d=√[(x_2-x_1)^2+(y_2-y_1)^2]
where the point is (x_1, y_1) = (x_2, y_2)
so it's like saying point A = AB = BA =B then the distance must be zero
Well, metrics are defined such that any point has 0 distance from itself. Otherwise it isn't a metric. The only way to really prove this rigorously otherwise is to have a definition of distancel.
how do i get a line out of a point cuz A B would be = nothing lies between AB i'd need a third point there must be a better way to prove it....def of distance requires a ruler right so i have to have line before measurement
so it's better to do it by contradictions saying that AB != 0 right
The level or rigor is established by first establishing the definitions and theorems you are allowed to use. You haven't provided these, so there is no point in even trying to prove it.
i'm not given anything but the theorem above ..i can't assume zero i know that cuz that is what i'm proving
You can't prove anything without a definition of terms.
i can use axioms and definitions not sure if that helps
does axiom 0 allow me to form my line with a third point that way with a line i can use a ruler then
but before i use axiom 0 can i say A= B and before that say let A and B be points
what axioms and definitions do you have?
axiom 1 is the point line incidence
the ruler function to is used to define betweenness for points on a line and use betweenness to define segments and a ray
What is point line incidence?
Okay, I think I could help you come up with a proof.
Are there any more axioms besides 1 and 2?
So just axiom 0, 1, and 2?
yes but is it easier to do it by contradiction
But would axiom 0 just state that there is no line, and thus no distance between the points? Because that wouldn't make sense would it?
Would you like to hear my attempt of a proof?
sure
I thought I had it, but I didn't. I was thinking about considering all points which are distance d from A. In this case we'd assume that AA = d and that d != 0. We'd try to find a contradiction.
A would have to be among the points which are distance d from A. There would be some other point B which is distance d from A, and we'd have to show that somehow AB = d and yet AB != d
Okay, I have to talk to you a bit about axiom 2 for a moment ``` axiom 2 For every line L there is a one to one onto function f:L --> IR such that fro any point A B on L I f(B) - f(A) I = AB ``` You are saying that f maps from L to IR. Now we know L would be the set of all points on L, so maps from points to elements in IR IR would be what exactly? Real number, correct? In this case, f maps from points to real numbers. We know that f(A) = k, and it can't equal anything else otherwise f would not be a function. This means AA = |f(A) - f(A)| = |k-k| = 0
This would be a direct proof relying on axiom 1 as well as the definition of a function.
Also relies on the fact that any number minus itself is 0.
I don't understand your proof, and it doesn't proof what you are trying to prove.
It was proving the converse.
Join our real-time social learning platform and learn together with your friends!