Description: Inner five segment congruence. Take two triangles, A D C and E H K , with B between A and C and F between E and K . If the other components of the triangles are congruent, then so are B D and F H . Theorem 4.2 of Schwabhauser p. 34. (Contributed by Thierry Arnoux, 24-Mar-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | tgbtwncgr.p | |
|
tgbtwncgr.m | |
||
tgbtwncgr.i | |
||
tgbtwncgr.g | |
||
tgbtwncgr.a | |
||
tgbtwncgr.b | |
||
tgbtwncgr.c | |
||
tgbtwncgr.d | |
||
tgifscgr.e | |
||
tgifscgr.f | |
||
tgifscgr.g | |
||
tgifscgr.h | |
||
tgifscgr.1 | |
||
tgifscgr.2 | |
||
tgifscgr.3 | |
||
tgifscgr.4 | |
||
tgifscgr.5 | |
||
tgifscgr.6 | |
||
Assertion | tgifscgr | |