Right triangle and two parallelograms

This is the first problem of #PeruMOTraining, you can see my first post here. I proposed this problem for the Peruvian Mathematical Olympiad, in 2011. Please post your solutions!

Problem Let ABCABC be a right triangle, with ABC=90\angle ABC=90^\circ. Let CMCM and ANAN be interior bisectors intersecting at II (MM is on the segment ABAB and NN is on the segment BCBC ). Construct the paralellograms AMIPAMIP and CNIQCNIQ. If UU and VV are the midpoints of segments ACAC and PQPQ, respectively. Prove that UVUV and ACAC are perpendicular.

#Geometry #PerpendicularLines #PeruMOTraining

Note by Jorge Tipe
7 years, 5 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Let's assume AB=a, BC=b and CA=c. X is the point so that VX is parallel to AB and UX is parallel to BC. So VXU is a right triangle at X. Let r be the inradius of ABC, so r = (a+b-c)/2. Let's calculate VX and UX.

VX = (1/2)IP + r - (1/2)AB = (1/2) (AM + 2r - a) = (1/2) (AM + (b-c))

By the angle bisector theorem AM/MB = c/b, so AM/a=c/(b+c), or AM = ac/(b+c) . Hence

(b+c)(AM + (b-c)) = ac + (b^2-c^2) = ac - a^2 = a(c-a) = a(c-a)(c+a)/(a+c) = ab^2/(a+c)

So 2(a+c)(b+c)VX = ab^2 Similarly 2(a+c)(b+c)UX = ba^2

So VX/UX= b/a = CB/AB. Hence VXU is similar to CBA. This should be enough to conclude UV is perpendicular to AC.

George G - 7 years, 5 months ago

Log in to reply

Please, can you explain why VX=(1/2)IP+r(1/2)ABVX= (1/2)IP + r - (1/2)AB ?

Jorge Tipe - 7 years, 5 months ago

Log in to reply

The (distance from V to BC) is the (distance from V to IQ) + the (distance from I to BC)

The (distance from V to IQ) = (1/2)IP

The (distance from I to BC) = r

The (distance from U to BC) = (1/2)AB

VX = (distance from V to BC) - (distance from U to BC)

George G - 7 years, 5 months ago

Wow I'm so happy that the new features have given us not only geometry problems, but also more discussions.

This is a very nice problem here I will give a synthetic solution:

Let's take advantage of all these midpoints. We construct a point on rayAVAV such that VV is the midpoint of AKAK.Now we have VUCKVU\parallel CK, which means we just have to prove CKACCK\perp AC. Moreover, we get parallelogram APKQAPKQ so QK=MI,IN=QC,KQC=CIN=45QK=MI, IN=QC, \angle KQC=\angle CIN=45. Now since QCA=CAN=NAB\angle QCA=\angle CAN=\angle NAB, therefore CKACCK\perp AC is equivalent to proving KCQ=90QCA=90NAB=ANB\angle KCQ=90-\angle QCA=90-\angle NAB=\angle ANB. Since KQC=45=NBI\angle KQC=45=\angle NBI, thus we just have to prove KQCIBN\triangle KQC\sim \triangle IBN or simply BIBN=QKQC=MIIN\frac {BI}{BN}=\frac {QK}{QC}=\frac {MI}{IN}. This is indeed true from MIBINB\triangle MIB\sim \triangle INB and here's its proof: since AIM=ABI=45\angle AIM=\angle ABI=45, therefore NIB=IAM+IBA=IAM+AIM=IMB\angle NIB=\angle IAM+\angle IBA=\angle IAM+\angle AIM=\angle IMB. It's already known that IBM=IBN\angle IBM=\angle IBN, so that gives us the similarity. \Box

I haven't been keeping up with all these posts lately, wish I had found this sooner. :)

Xuming Liang - 7 years, 5 months ago

Log in to reply

Nice solution Xuming! You find another property of a right triangle: triangles MBIMBI and IBNIBN are similar!

Jorge Tipe - 7 years, 5 months ago

Log in to reply

I actually have a few more. I found them while trying different constructions of points and lines.

Xuming Liang - 7 years, 5 months ago

The following is a nice property about a right triangle.

[Keeping the same notation of our problem]

Property
The projections of the segments MIMI and ININ on the line ACAC have the same length.

Proof Let EE and FF in ACAC such that MEME and NFNF are perpendicular to ACAC. Denoting d(X,YZ)d(X,YZ) the distance from point XX to line YZYZ, we have d(I,ME)=d(I,MB)=r=d(I,NB)=d(I,NF)d(I, ME)=d(I,MB)=r=d(I, NB)=d(I,NF) . Since d(I,ME)d(I,ME) is the length of the projection of MIMI on the line ACAC and d(I,NF)d(I,NF) is the length of the projection of NINI on the line (AC), we are done!

Could you use this property to solve our problem?

Jorge Tipe - 7 years, 5 months ago

Log in to reply

OK, so if X, Y are on AC such that both PX and QY are perpendicular to AC, what you proved above implies that AX=CY as both are projections of AP and CQ onto AC. Hence U is the midpoint of XY. Since V is the midpoint of PQ, VU is parallel to PX. Hence VU is perpendicular to AC.

George G - 7 years, 5 months ago

Log in to reply

The lemma seems to be unnecessary. Let X and Y as above, then PAX=ACM=C2\angle{PAX}=\angle{ACM} =\frac{C}{2}. So AX=APcosC2=IMcosC2=rAX = AP\cos{\frac{C}{2}} = IM\cos{\frac{C}{2}} =r. Similarly CY=rCY=r. The rest is the same as above.

George G - 7 years, 5 months ago

Log in to reply

@George G Basically the lemma states that AX=CYAX=CY. My idea was to stand out a property concerning the points M, I, N without mention the other points.

Jorge Tipe - 7 years, 5 months ago

Log in to reply

@Jorge Tipe Yes, Thank you. A proof along that line was not possible for me without seeing your lemma.

George G - 7 years, 5 months ago

Are we allowed to use co-ordinate geometry? I thought of a solution using co-ordinate geometry but it is turning out to be a bit ugly.

Bruce Wayne - 7 years, 5 months ago

Log in to reply

I believe so. All solutions are welcome.

Daniel Liu - 7 years, 5 months ago

Since we have a right angle, a solution with co-ordinate geometry seems possible.

Jorge Tipe - 7 years, 5 months ago

Log in to reply

Yes, I did with coordinates too, finding the coordinates of V is pretty much same as what I posted above. Then it's just a matter of verifying the slope of VU is the negative reciprocal of the slope of AC.

George G - 7 years, 5 months ago

Please post a solution that is understandable and graceful......... I'm still in Middle School

Rohitas Bansal - 7 years, 5 months ago

AC is parallel PQ UV &AC are perpendicular

sathiya narayanan - 7 years, 5 months ago

Log in to reply

In general, ACAC and PQPQ are not parallel.

https://i.imgur.com/1RSGjPt.png https://i.imgur.com/1RSGjPt.png

Jon Haussmann - 7 years, 5 months ago

Even AC and PQ are parallel can't conclude that VU and AC are perpendicular unless AP=CQ which is clearly not true.

George G - 7 years, 5 months ago

Log in to reply

And AP=CQ implies that it's a 45-45-90 triangle... I'm posting this so we can have 3 people from San Diego replying to the same post. :) Such a rare scene.

Xuming Liang - 7 years, 5 months ago

Best and shortest solution here I think.

Andrew Tiu - 7 years, 5 months ago
×

Problem Loading...

Note Loading...

Set Loading...