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