Von.Aubel定理:在任何四边形ABCD为等腰直角三角形的转向相同ΔABE,ΔBCF,ΔCDG,ΔDAH的斜边的四边.然后:EG = FH,EG⊥FH.
上述定理几点说明:
(1),条件是任何四边形,它不一定是一个凸四边形;
(2)中,相同的四个转向等腰直角三角形,所以可以同时内部或四边形形四边形的形状以外,如等腰直角三角形.
(3)中,当四边形退化成一个三角形,该结论也是如此.即A和D,H一致证明:EG = AF,EG⊥AF.下面Motor详细接获证明.
证明先给引理,
引理:任意三角形ABC边AB,BC为斜边的两个完全相同的等腰直角三角形转身ΔABE,ΔBCF,O点的是AC的中点,然后EO = FO,EO⊥FO .
简单证明如下:这架F点作为△BEF逆时针旋转90°时,B→C的中心,集合E→D.
显然,DC = BE和DC⊥BE,但要= AE,BE ⊥AE,所以DC∥AE,DC = AE.
因此DE与AC相互分割,是O也是AC DE的中点的中点.
由于DE是一个等腰直角△DEF的斜边,所以△EOF等腰直角三角形.
因此EO⊥FO和EO = FO.
证明即使AC,AC取中点O,甚至EO,FO,GO,HO.交叉口EG,FH为Q.根据引理
知道:EO = FO,EO⊥FO,GO = HO,GO⊥HO,
和∠EOG= 90°+∠EOH=∠FOH.所以△EOG≌△FOH,
也是如此:EG = FH,∠GEO=∠HFO,
因此获得E,F,O,Q共圆四点,那是:∠EOF= 90° =∠EQF.
它EG⊥FH. QED.
实用的命题以上[即Von.Aubel定理]允许一个更简单的方法.对产品的改造通过旋转定理证,一步到位,很简单的.