请输入您要查询的字词:

 

单词 ConverseOfIsoscelesTriangleTheorem
释义

converse of isosceles triangle theorem


The following theorem holds in geometriesMathworldPlanetmath in which isosceles triangleMathworldPlanetmath can be defined and in which SAS, ASA, and AAS are all valid. Specifically, it holds in Euclidean geometry and hyperbolic geometry (and therefore in neutral geometry).

Theorem 1 ().

If ABC is a triangleMathworldPlanetmath with DBC¯ such that any two of the following three statements are true:

  1. 1.

    AD¯ is a median

  2. 2.

    AD¯ is an altitudeMathworldPlanetmath

  3. 3.

    AD¯ is the angle bisectorMathworldPlanetmath of BAC

then ABC is isosceles.

ABDC
Proof.

First, assume 1 and 2 are true. Since AD¯ is a median, BD¯CD¯. Since AD¯ is an altitude, AD¯ and BC¯ are perpendicularPlanetmathPlanetmath. Thus, ADB and ADC are right anglesMathworldPlanetmathPlanetmath and therefore congruentPlanetmathPlanetmath. Since we have

  • AD¯AD¯ by the reflexive property (http://planetmath.org/ReflexiveMathworldPlanetmathPlanetmath) of

  • ADBADC

  • BD¯CD¯

we can use SAS to conclude that ABDACD. By CPCTC, AB¯AC¯.

Next, assume 2 and 3 are true. Since AD¯ is an altitude, AD¯ and BC¯ are perpendicular. Thus, ADB and ADC are right angles and therefore congruent. Since AD¯ is an angle bisector, BADCAD. Since we have

  • ADBADC

  • AD¯AD¯ by the reflexive property of

  • BADCAD

we can use ASA to conclude that ABDACD. By CPCTC, AB¯AC¯.

Finally, assume 1 and 3 are true. Since AD¯ is an angle bisector, BADCAD. Drop perpendiculars from D to the rays AB and CD. the intersectionsMathworldPlanetmathPlanetmath as E and F, respectively. Since the length of DE¯ is at most BD¯, we have that EAB¯. (Note that EA and EB are not assumed.) Similarly FAC¯.

ABDCEF

Since we have

  • AEDAFD

  • BADCAD

  • AD¯AD¯ by the reflexive property of

we can use AAS to conclude that ADEADF. By CPCTC, DE¯DF¯ and ADEADF.

Since AD¯ is a median, BD¯CD¯. Recall that SSA holds when the angles are right angles. Since we have

  • BD¯CD¯

  • DE¯DF¯

  • BED and CFD are right angles

we can use SSA to conclude that BDECDF. By CPCTC, BDECDF.

Recall that ADEADF and BDECDF. Thus, ADBADC. Since we have

  • AD¯AD¯ by the reflexive property of

  • ADBADC

  • BD¯CD¯

we can use SAS to conclude that ABDACD. By CPCTC, AB¯AC¯.

In any case, AB¯AC¯. It follows that ABC is isosceles.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 18:44:04