Zeitschriftenartikel: The General Triangle Is Unique

[breitner11generaltriangle]

Joachim Breitner, The General Triangle Is Unique, Archive of Formal Proofs, April 2011. Formal proof development

Zusammenfassung

Some acute-angled triangles are special, e.g. right-angled or isoscele triangles. Some are not of this kind, but, without measuring angles, look as if they were. In that sense, there is exactly one general triangle. This well-known fact is proven here formally.

Download

[Link]

BibTeX

@article{breitner11generaltriangle,
  title = {The General Triangle Is Unique},
  year = {2011},
  month = apr,
  journal = {Archive of Formal Proofs},
  author = {Joachim Breitner},
  note = {Formal proof development},
  url = {http://afp.sourceforge.net/entries/General-Triangle.shtml},
}

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Joachim Breitner