Dividing the Sides of a Triangle in Proportional Parts
Paulus Gerdes (2003)
Visual Mathematics
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Paulus Gerdes (2003)
Visual Mathematics
Similarity:
Čerin, Z. (1997)
Mathematica Pannonica
Similarity:
Čerin, Zvonko (2000)
Mathematica Pannonica
Similarity:
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
We introduce, using the Mizar system [1], some basic concepts of Euclidean geometry: the half length and the midpoint of a segment, the perpendicular bisector of a segment, the medians (the cevians that join the vertices of a triangle to the midpoints of the opposite sides) of a triangle. We prove the existence and uniqueness of the circumcenter of a triangle (the intersection of the three perpendicular bisectors of the sides of the triangle). The extended law of sines and the formula...
Stammler, Ludwig (1997)
Beiträge zur Algebra und Geometrie
Similarity:
Miguel de Guzmán (2001)
RACSAM
Similarity:
A simple proof is presented of a famous, and difficult, theorem by Jakob Steiner. By means of a straightforward transformation of the triangle, the proof of the theorem is reduced to the case of the equilateral triangle. Several relations of the Steiner deltoid with the Feuerbach circle and the Morley triangle appear then as obvious.
Tomohide Hashiba, Yuta Nakagawa, Toshiyuki Yamauchi, Hiroshi Matsui, Satoshi Hashiba, Daisuke Minematsu, Munetoshi Sakaguchi, Ryohei Miyadera (2007)
Visual Mathematics
Similarity:
Kolar-Begović, Z., Kolar-Šuper, R., Beban-Brkić, J., Volenec, V. (2006)
Mathematica Pannonica
Similarity:
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
We introduce the altitudes of a triangle (the cevians perpendicular to the opposite sides). Using the generalized Ceva’s Theorem, we prove the existence and uniqueness of the orthocenter of a triangle [7]. Finally, we formalize in Mizar [1] some formulas [2] to calculate distance using triangulation.
Shen, Yujin, Tolosa, Juan (2008)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Maligranda, Lech (2008)
Banach Journal of Mathematical Analysis [electronic only]
Similarity:
Dawson, Robert J. MacG., Doyle, Blair (2006)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Roland Coghetto (2014)
Formalized Mathematics
Similarity:
We calculate the values of the trigonometric functions for angles: [XXX] , by [16]. After defining some trigonometric identities, we demonstrate conventional trigonometric formulas in the triangle, and the geometric property, by [14], of the triangle inscribed in a semicircle, by the proposition 3.31 in [15]. Then we define the diameter of the circumscribed circle of a triangle using the definition of the area of a triangle and prove some identities of a triangle [9]. We conclude by...