In parallelogram ABCD, let O be the intersection of diagonals AC and BD. Angles CAB and DBC are each twice as large as angle DBA, and angle ACB is r times as large as angle AOB. Find ⌊1000r⌋.
解析
Solution
Solution 1 (trigonometry)
Let θ=∠DBA. Then ∠CAB=∠DBC=2θ, ∠AOB=180−3θ, and ∠ACB=180−5θ. Since ABCD is a parallelogram, it follows that OA=OC. By the Law of Sines on △ABO,△BCO,
OCsin∠CBO=OBsin∠ACBandOCsin∠DBA=OBsin∠BAC.
Dividing the two equalities yields
sinθsin2θ=sin2θsin(180−5θ)⟹sin22θ=sin5θsinθ.
Pythagorean and product-to-sum identities yield
1−cos22θ=2cos4θ−cos6θ,
and the double and triple angle (cos3x=4cos3x−3cosx) formulas further simplify this to
4cos32θ−4cos22θ−3cos2θ+3=(4cos22θ−3)(cos2θ−1)=0
The only value of θ that fits in this context comes from 4cos22θ−3=0⟹cos2θ=23⟹θ=15∘. The answer is ⌊1000r⌋=⌊1000⋅180−3θ180−5θ⌋=⌊97000⌋=777.
Solution 2 (trigonometry)
Define θ as above. Since ∠CAB=∠CBO, it follows that △COB∼△CBA, and so BCCO=ACBC⟹BC2=AC⋅CO=2CO2⟹BC=CO2. The Law of Sines on △BOC yields that
COBC=sin2θsin(180−3θ)=sin2θsin3θ=2
Expanding using the sine double and triple angle formulas, we have
22sinθcosθ=sinθ(−4sin2θ+3)⟹sinθ(4cos2θ−22cosθ−1)=0.
By the quadratic formula, we have cosθ=822±8+4⋅1⋅4=46±2, so θ=15∘ (as the other roots are too large to make sense in context). The answer follows as above.
Solution 3
We will focus on △ABC. Let ∠ABO=x, so ∠BAO=∠OBC=2x. Draw the perpendicular from C intersecting AB at H. Without loss of generality, let AO=CO=1. Then HO=1, since O is the circumcenter of △AHC. Then ∠OHA=2x.
By the Exterior Angle Theorem, ∠COB=3x and ∠COH=4x. That implies that ∠HOB=x. That makes HO=HB=1. Then since by AA (∠HBC=∠HOC=3x and reflexive on ∠OCB), △OCB∼△BCA.
BCCO=ACBC⟹2=BC2=⟹BC=2.
Then by the Pythagorean Theorem, 12+HC2=(2)2⟹HC=1. That makes △HOC equilateral. Then ∠HOC=4x=60⟹x=15. The answer follows as above.