I'm having some trouble with one particular geometry proof:

From that I've drawn the following:

[Broken]

[tex]\angle ADB = \angle CED[/tex] (as [tex]\angle ADB[/tex] and [tex]\angle CED[/tex] are alternant sements)

[tex]\angle CBD = 180 - \angle CED [/tex] (1) (as they are opposite angles in a cyclic quadrilateral)

[tex]180 - \angle CBD = \angle DBA[/tex] (2) as CBA is a straight line

[tex]\therefore \angle CED = \angle DBA[/tex] substitute (1) into (2)

This indicates that [tex]\angle BDA = \angle DBA[/tex]. Is that right? And is that enough to prove that [tex]\bigtriangleup ABD \sim \bigtriangleup CDE[/tex] ?

Last edited by a moderator: Apr 22, 2017 at 9:35 AM

Nah, this is wrong.
[tex]\angle ADB \neq \angle CED[/tex]
It should read:
[tex]\angle ADB = \angle ECD[/tex]
(notice that the 2 chords DE = DB).
Can you see why? :)

Is it because [tex]\angle ECB = \angle CDA = 90[/tex] which would make EC and DB parrelel in turn making [tex]\angle ADB[/tex] and [tex]\angle ECD[/tex] alternate angles?

I don't know how to prove this, but if [tex]\angle CDA = 90[/tex] that means CD is the diameter. No that has to be true as the radius (of which the diameter is an extension) meets any tangent at right angles, therefore the converse must be true.

If CD is the diameter could someone set me on the right track as to how to prove it?

Nah, it's wrong, since the problem does not state that EC and DB are parallel. You cannot assume that...
--------------
You should note that:
[tex]\angle ADB = \angle BCD[/tex] (Tangent chord property)
[tex]\angle BCD = \angle ECD[/tex] (DE = DB)
Can you go from here? :)

One more little hint if you need it...There is a segment on that circle that subtends an angle that you can find fairly easily...it also subtends a different angle

*edit* additionally, why is it assumed that the diameter of the circle connects the points D and C??...if you put C somewhere else you still get a secant ABC.

Ah, I see. The orig. poster (Beam Me Down) was the only one who thought that (it's not correct).

I was actually unfamiliar with the tangent chord property that VietDao brought up (till he mentioned it and I googled for it).

The way I did this was in observing that

angle DEC = 180 - angle DBC (cyc quad) = angle ABD (supplementary angles).

Let's extend AD further and call a point on it F (A, D and F are collinear and D lies in between A and F). It should be obvious from the symmetry of DE = DB that angle EDF = angle BDA = theta (say). Then angle BDE = 180 - 2*theta. Angle BCE = 2*theta (opp angles, cyclic quad).

Now observe that angle DCE = angle DCB (equal chords ED and DB subtend equal angles). Therefore angle DCE = theta = angle BDA.

Since we've proven two corresponding angle pairs are equal (DEC = ABD & DCE = BDA), we're done.

In the process of doing this, one can also prove the tangent chord property.