Equilateral △ABC has side length 600. Points P and Q lie outside the plane of △ABC and are on opposite sides of the plane. Furthermore, PA=PB=PC, and QA=QB=QC, and the planes of △PAB and △QAB form a 120∘ dihedral angle (the angle between the two planes). There is a point O whose distance from each of A,B,C,P, and Q is d. Find d.
解析
Solution 1
The inradius of △ABC is 1003 and the circumradius is 2003. Now, consider the line perpendicular to plane ABC through the circumcenter of △ABC. Note that P,Q,O must lie on that line to be equidistant from each of the triangle's vertices. Also, note that since P,Q,O are collinear, and OP=OQ, we must have O is the midpoint of PQ. Now, Let K be the circumcenter of △ABC, and L be the foot of the altitude from A to BC. We must have tan(∠KLP+∠QLK)=tan(120∘). Setting KP=x and KQ=y, assuming WLOG x>y, we must have tan(120∘)=−3=3000030000−xy1003x+y. Therefore, we must have 100(x+y)=xy−30000. Also, we must have (2x+y)2=(2x−y)2+120000 by the Pythagorean theorem, so we have xy=120000, so substituting into the other equation we have 90000=100(x+y), or x+y=900. Since we want 2x+y, the desired answer is 450.
Solution 2 (Short & Simple)
Draw a good diagram. Draw CH as an altitude of the triangle. Scale everything down by a factor of 1003, so that AB=23. Finally, call the center of the triangle U. Draw a cross-section of the triangle via line CH, which of course includes P,Q. From there, we can call OU=h. There are two crucial equations we can thus generate. WLOG set PU,thenwecallPU=d-h, QU=d+h.Firstequation:usingthePythagoreanTheoremon\triangle UOB,h^2+2^2=d^2.Next,usingthetangentadditionformulaonangles\angle PHU, \angle UHQweseethataftersimplifying-d^2+h^2=-4, 2d=3\sqrt{3}inthenumerator,sod=\frac{3\sqrt{3}}{2}.Multiplybackthescalarandyouget\boxed{450}$. Not that hard, was it?
Solution 3
To make numbers more feasible, we'll scale everything down by a factor of 100 so that AB=BC=AC=6. We should also note that P and Q must lie on the line that is perpendicular to the plane of ABC and also passes through the circumcenter of ABC (due to P and Q being equidistant from A, B, C), let D be the altitude from C to AB. We can draw a vertical cross-section of the figure then:
We let ∠PDI=α so ∠QDI=120∘−α, also note that PO=QO=CO=d. Because I is the centroid of ABC, we know that ratio of CI to DI is 2:1. Since we've scaled the figure down, the length of CD is 33, from this it's easy to know that CI=23 and DI=3. The following two equations arise:
3tan(α)+3tan(120∘−α)3tan(α)−d=2d=d2−12
Using trig identities for the tangent, we find that
3tan(120∘−α)=3(1−tan(120∘)tan(-α)tan(120∘)+tan(-α))=3(1+3tan(-α)-3+tan(-α))=3(1−3tan(α)-3−tan(α))=3tan(α)−13tan(α)+3.
Okay, now we can plug this into (1) to get:
3tan(α)+3tan(α)−13tan(α)+33tan(α)−d=2d=d2−12
Notice that α only appears in the above system of equations in the form of 3tan(α), we can set 3tan(α)=a for convenience since we really only care about d. Now we have
a+a−1a+3a−d=2d=d2−12
Looking at (2), it's tempting to square it to get rid of the square-root so now we have:
a2−2ad+d2a−2ad=d2−12=-12
See the sneaky 2d in the above equation? That we means we can substitute it for a+a−1a+3:
a2−2ad+d2a2−a(a+a−1a+3)a2−a2−a−1a2+3a−a−1a2+3a-a2−3a0=d2−12=-12=-12=-12=-12a+12=a2−9a+12
Use the quadratic formula, we find that a=2(1)9±92−4(1)(12)=29±33 - the two solutions were expected because a can be ∠PDI or ∠QDI. We can plug this into (1):
a+a−1a+329±33+29±33−129±33+3=2d29±33+7±3315±33=2d=2d
I'll use a=29+33 because both values should give the same answer for d.
29+33+7+3315+33(2)(7+33)(9+33)(7+33)+(2)(15+33)14+23363+33+1633+30+23314+233126+1833929=2d=2d=2d=2d=2d=d
Wait! Before you get excited, remember that we scaled the entire figure by 100?? That means that the answer is d=100×29=450. -fatant
Solution 4
We use the diagram from solution 3. From basic angle chasing,
180=∠QOC+∠COP=2∠OCP+2∠OCQ=2∠QCP
so triangle QCP is a right triangle. This means that triangles CQI and CPI are similar. If we let ∠IDQ=x and ∠PDI=y, then we know x+y=120 and
GCPG=GQGC⇒20031003tany=1003tanx2003⇒tanxtany=4
We also know that
Let M be the midpoint of AB and X the center of △ABC. Then
P,O,Q,M,X,C
all lie in the same vertical plane. We can make the following observations:
The equilateral triangle has side length 600, so MC=3003 and X divides MC so that MX=1003 and XC=2003;
O is the midpoint of PQ since O is equidistant from A,B,C,P,Q – it is also the circumcenter of △PCQ;
∠PMQ=120∘, the dihedral angle.
To make calculations easier, we will denote 1003=m, so that MX=m and XC=2m.
Denote PX=p and QX=q, where the tangent addition formula on △PMQ yields
1−tan∡PMXtan∡QMXtan∡PMX+tan∡QMX=tan(120∘)=−3.
Using tan∡PMX=mp and tan∡QMX=mq, we have
1−mp⋅mqmp+mq=−3.
After multiplying both numerator and denominator by m2 we have
m2−pq(p+q)m=−3.
But note that pq=(2m)(2m)=4m2 by power of a point at X, where we deduce by symmetry that MM′=MX=m on the diagram below:
Thus
m2−4m2(p+q)m=−3−3mp+q=−3p+q=(−3)(−3m)p+q=33⋅m.
Earlier we assigned the variable m to the length 1003 which implies PQ=(33)(1003)=900. Thus the distance d is equal to 2PQ=450.
Solution 8 (Law of Cosines)
Let Z be the center of △ABC. Let A’ be the midpoint of BC. Let ZA’=c=1003 and ZA=2c=2003. Let PZ=a and QZ=b. We will be working in the plane that contains the points: A, P, A’, Q, O, and Z.
Since P, O, and Q are collinear and PO=QO=AO, △PAQ is a right triangle with ∠PAQ=90∘. Since AZ⊥PQ, (PZ)(QZ)=(AZ)2=ab=(2c)2=120000.
PA’=a2+c2, QA’=b2+c2, PQ=a+b, and ∠PAQ=120∘. By Law of Cosines
(a+b)2=a2+b2+2c2+a2b2+a2c2+b2c2+c4
. Substituting 4c2 for ab and simplifying, we get
6c=17c2+a2+b2
. Squaring and simplifying, we get
a2+b2=19c2=570000
. Adding 2ab=8c2 to both sides we get PQ=a+b=900. Since O is the midpoint of PQ, d=PO=450
~numerophile
Solution 9 (Coordinate Bash)
Set AB=s,M as midpoint BC,I as the center of equilateral △ABC, and by 30−60−90 triangle formulas, we know IM=b=23s,IA=IB=IC=3s.
First note that P and Q are on the line perpendicular to plane ABC through the circumcenter of △ABC. Then notice that point O is the midpoint of PQ, so it also lies on this axis. Then, we see that the position of O relative to the triangle fully determines the positions of both P and Q, so setting the coordinates of O as (0,0,h) where the origin is defined the circumcenter and △ABC lies in the xy-plane, we get:
OA2=OB2=OC2=h2+3s2=OP2=OQ2
Thus, the coordinates of P and Q are (0,0,h±h2+3s2). Now we make use of the angle condition. WLOG set the coordinates of M as (23s,0,0). We know the angle between PM and QM is 120∘, so after solving for the vectors, taking their dot product, equating it to PM⋅QM⋅cos120∘, and finally solving for h in terms of s, we get
h2=4811s2⟹OA2=h2+3s2=4827s2⟹OA=43s=450
(If someone feels like it, please feel free to fill in the rest of the details!)