What is the symbol for "coincident" in geometry?

3.4k Views Asked by At

I am looking for a symbol to say that one geometrical figure coincides with another without writing the phrase "is coincident with." For example, the altitude $a$ of an equilateral triangle coincides with a median $m$ of the triangle. Each point of one figure is in the same place as some point of the other figure.

The idea is not just that one figure is congruent with another, since congruent figures can be in different places.

Also, the idea is not just that a figure with one name is identical to itself under a different name, as if a point is used in one figure, two figures, a 1000 figures, or no figures, and the differences among those names are insignificant. We say that figures are coincident when they are understood independently from one another and seem to be able to exist without each other. We are often surprised when we discover they they in fact coincide.

In set notation, we would say $A=B$, if $A$ is the set of all points in one figure and $B$ is the set of all points in the other figure, but I prefer to avoid set theory.

I have not seen any symbol used in print or online. The following is a list of symbols that I think mathematicians might use:

  1. Geometrically equivalent to ≎
  2. Geometrically equal to ≈
  3. Geometrically equal to ≑
  4. Equivalent to ≍
  5. Equivalent to ⇌
  6. Equivalent to ⟷
  7. Equivalent to ⇔
  8. Equivalent to ⟺
  9. Equivalent to ≡
  10. Equal to =
2

There are 2 best solutions below

0
On

I have often seen ≡ used for this purpose.
Not sure if it's a widely adopted standard though.

0
On

There is no canonical symbol, but concerning your discussion of the word and concept of "coincident" and whether it should apply...

  • the most common terminological options are equal, same and coincident with the latter the best choice.

Coincident really does describe the situation you are talking about:

We say that figures are coincident when they are understood independently from one another and seem to be able to exist without each other. We are often surprised when we discover they they in fact coincide.

This is what happens in the example of altitude and median. Two distinct constructions, that do not in general produce the same result, happen to have the same output in some special triangles. In an equilateral triangle, the incenter and circumcenter "coincide" or "are the same".

This is not the same as reasoning from the single object that is the output (the line or point in the equilateral triangle) and trying to say that it exists in two copies. The same object is an instantiation of two different things and that is the coincidence.

These linguistic problems tend to dissolve if you think more in terms of how the "equal" figures are mapped to each other, instead of the locus of points, and in terms of additional structure that is implicitly carried by the object (things like an orientation, an ordering or labelling of vertices, or distinguishing one of the points or lines).