determining from angles that a triangle is isosceles

The following theorem holds in any geometry in which ASA is valid. Specifically, it holds in both Euclidean geometry and hyperbolic geometry (and therefore in neutral geometry) as well as in spherical geometry.

Theorem 1.

If a triangle has two congruent angles, then it is isosceles.

Proof.

Let triangle $\\triangle ABC$ have angles $\\angle B$ and $\\angle C$ congruent.

Since we have

•
$\\angle B\\cong\\angle C$
•
$\\overline{BC}\\cong\\overline{CB}$ by the reflexive property (http://planetmath.org/Reflexive) of $\\cong$ (note that $\\overline{BC}$ and $\\overline{CB}$ denote the same line segment)
•
$\\angle C\\cong\\angle B$ by the symmetric property (http://planetmath.org/Symmetric) of $\\cong$

we can use ASA to conclude that $\\triangle ABC\\cong\\triangle ACB$ . Since corresponding parts of congruent triangles are congruent, we have that $\\overline{AB}\\cong\\overline{AC}$ . It follows that $\\triangle ABC$ is isosceles.∎

In geometries in which ASA and SAS are both valid, the converse theorem of this theorem is also true. This theorem is stated and proven in the entry angles of an isosceles triangle.

单词	DeterminingFromAnglesThatATriangleIsIsosceles
释义	determining from angles that a triangle is isosceles The following theorem holds in any geometry in which ASA is valid. Specifically, it holds in both Euclidean geometry and hyperbolic geometry (and therefore in neutral geometry) as well as in spherical geometry. Theorem 1. If a triangle has two congruent angles, then it is isosceles. Proof. Let triangle $\\triangle ABC$ have angles $\\angle B$ and $\\angle C$ congruent. Since we have • $\\angle B\\cong\\angle C$ • $\\overline{BC}\\cong\\overline{CB}$ by the reflexive property (http://planetmath.org/Reflexive) of $\\cong$ (note that $\\overline{BC}$ and $\\overline{CB}$ denote the same line segment) • $\\angle C\\cong\\angle B$ by the symmetric property (http://planetmath.org/Symmetric) of $\\cong$ we can use ASA to conclude that $\\triangle ABC\\cong\\triangle ACB$ . Since corresponding parts of congruent triangles are congruent, we have that $\\overline{AB}\\cong\\overline{AC}$ . It follows that $\\triangle ABC$ is isosceles.∎ In geometries in which ASA and SAS are both valid, the converse theorem of this theorem is also true. This theorem is stated and proven in the entry angles of an isosceles triangle.
随便看	C^-algebra homomorphisms are continuous CalgebraHomomorphismsHaveClosedImages C^-algebra homomorphisms have closed images CalgebraHomomorphismsPreserveContinuousFunctionalCalculus C^-algebra homomorphisms preserve continuous functional calculus CalgebrasHaveApproximateIdentities C^-algebras have approximate identities CameronMartinSpace Cameron-Martin space CancellationIdeal cancellation ideal CancellationRing cancellation ring CancellativeSemigroup cancellative semigroup Canonical canonical CanonicalBasis canonical basis CanonicalBasisForSymmetricBilinearForms canonical basis for symmetric bilinear forms CanonicalCorrelation canonical correlation CanonicalFormOfElementOfNumberField canonical form of element of number field