As shown in the figure, in the triangle ABC, ∠ ACB = 90 °, ad bisection ∠ BAC, de ⊥ AB is verified in E; the straight line ad is the vertical bisection of CE, seeking the help of the great God

As shown in the figure, in the triangle ABC, ∠ ACB = 90 °, ad bisection ∠ BAC, de ⊥ AB is verified in E; the straight line ad is the vertical bisection of CE, seeking the help of the great God


It is proved that: ∵ de ⊥ AB, ∵ AED = 90 °= ∠ ACB, and ∵ ad bisecting ∵ BAC, ∵ DAE = ∠ DAC, ∵ ad = ad, ≌ ACD, ∵ AE = AC, ∵ ad bisecting ≁ BAC, ≁ ad ⊥ CE, that is, the straight line ad is the vertical bisector of the line CE



As shown in the figure, in the triangle ABC, D is a point on the edge AB, and ad = AC, De is parallel to BC, CD bisecting angle EDF is it possible to prove AF bisecting CD bisecting EDF


[find AF vertical bisection CD]
prove:
∵ CD bisection ∠ EDF
∴∠EDC=∠FDC
∵DE//BC
∴∠EDC =∠DCF
∴∠FDC =∠DCF
∴DF =CF
And ∵ ad = AC, AF = AF
∴⊿ADF≌⊿ACF(SSS)
∴∠DAF=∠CAF
The ADC is an isosceles triangle, AF bisects the DAC, according to three lines in one
The AF splits the CD vertically



As shown in the figure, in the triangle ABC, AB > AC, AF is the angular bisector, D is the one on AB, and ad = AC, De is parallel to BC, AC intersection point E, to prove the CD bisector angle EDF


If AF intersects CD with G ∵ ad = AC, and AF is the angular bisector of ∵ CDA ⊥ CD, DG = CG, DF = CF ∵ CDF = DCF and ∵ de parallel BC ∵ CDE = ∵ DCF = ∵ CDF, that is, CD bisector EDF



As shown in the figure, in △ ABC, AB > AC, point D is on AB, ad = AC, de / / BC, CD bisecting ∠ EDF
Picture everybody goes to my space to have a look, in the photo album


∠EDC=∠CDF
De is parallel to BC = > EDC = ∠ DCF
So: ∠ DCF = ∠ CDF = > DF = CF
And because ad = AC, the common edge is AF
So: △ ADF is equal to △ ACF
=> ∠DAF=∠CAF
AF is the height on the bottom edge of the isosceles triangle ADC, so AF bisects the CD vertically