Let ABCD be a convex quadrilateral such that CAB=CDA and BCA=ACD. Let M be the midpoint of AB; prove that BCM=DBA.
Solutions — 3
Solution 1
Solution:
For convenience let us call BCM=α. Let us consider triangles △ADC and △BAC: they have two congruent angles, and hence also the third is congruent by difference (CAD=CBA). By the first similarity criterion they are therefore similar; in particular we have AD:BA=CA:CB. Letting N be the midpoint of AD, let us consider triangles △CAN and △CBM, which are similar since they have AN:BM=2AN:2BM=AD:BA=CA:CB and CAN=CBM as shown before. In particular we have that ACN=BCM=α as corresponding angles of similar triangles
from which NCM=ACN+ACM=BCM+ACM=ACB. Let us consider the quadrilateral ANCM and prove that it is cyclic (inscribable in a circle): summing the opposite angles at A and C we obtain NAM+NCM=(DAC+CAB)+ACB=CBA+CAB+ACB=180∘ where the last equality follows from the fact that the sum of the interior angles of a triangle is a straight angle. From the cyclicity of ANCM we deduce NMA=NCA=α (angles subtending the same arc). But now, since N and M are the midpoints of AD and AB, by Thales' theorem we have that NM∥BD; in conclusion DBA=NMA=α, since they are corresponding angles of two parallel lines cut by a transversal.
Solution 2
Solution:
Let us consider E such that EACD is a parallelogram and let us prove that triangles EAC and DAB are similar (using the results from the first part of the solution shown above).
Solution 3
Solution:
Let us consider the Gauss plane where c=0 is the origin and b=1. △ADC∼△BAC algebraically translates into d=a2.
Expressing the claim in terms of complex numbers we must show that argb−c(a+b)/2−c=argb−ab−d; carrying out the computations we obtain: argb−c(a+b)/2−c=arg2z+1=arg(z+1)=arg1−z1−z2=argb−ab−d
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement translated into English from it; metadata (topic, difficulty) added by this project.