Simple concurrency

In \(\Delta ABC\) , let \(D\) be any point on \(\overline{BC}\).Let \(\overline{DF} \ , \ \overline{DE}\) be bisectors of \(\angle ADB \ , \ \angle ADC\) respectively with \(E \in \overline{AC} \ , \ F \in \overline{AB}\) . Prove that \(\overline{AD} \ , \ \overline{BE} \ , \ \overline{CF}\) are concurrent.

Posed this while playing with a theorem ;)

Note by Nihar Mahajan
2 years, 7 months ago

No vote yet
1 vote

  Easy Math Editor

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 \times 3 \)
2^{34} \( 2^{34} \)
a_{i-1} \( a_{i-1} \)
\frac{2}{3} \( \frac{2}{3} \)
\sqrt{2} \( \sqrt{2} \)
\sum_{i=1}^3 \( \sum_{i=1}^3 \)
\sin \theta \( \sin \theta \)
\boxed{123} \( \boxed{123} \)

Comments

Sort by:

Top Newest

Angle bisector theorem and cevas

Xuming Liang - 2 years, 7 months ago

Log in to reply

Ah , I knew you would get it quickly. I used Ceva's instead of Menelaus. Nevermind Ceva's and Menelaus are brothers ;) :P

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

I actually meant to type ceva...haven't used the two in a while so got them mixed up haha

Xuming Liang - 2 years, 7 months ago

Log in to reply

@Xuming Liang Lol , okay...

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

@Nihar Mahajan Can you prove the following simple fact (I tried to devise a problem out of this configuration):

Suppose the circumcircle of \(DEF\) meets \(AD\) again at \(X\). Prove that the reflection of \(X\) over \(EF\) lies on \(BC\)

Xuming Liang - 2 years, 7 months ago

Log in to reply

@Xuming Liang That was nice. Let \(\overline{BC} \cap \odot DEF = \{X'\}\) and I claim that \(X'\) is the reflection of \(X\). To prove this its easy to see that \(\Delta XFE \cong \Delta X'FE\) which makes \(\Box XFX'E\) a kite. This implies \(\overline{XX'} \perp \overline{FE}\) and \(XK=KE\) provided that \(\overline{FE} \cap \overline{XX'} = \{K\}\). Thus it is proved that \(X'\) is the reflection of \(X\) such that \(X' \in \overline{BC}\)

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

Such an easy one. Use ceva's theorem and angle bisector property.

Saarthak Marathe - 2 years, 7 months ago

Log in to reply

Try proving it with another method.

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

Nihar, I suppose u are an Indian. If u like geometry try solving INMO 1994 question number 5. It is in one of my notes(rather the only note). https://brilliant.org/discussions/thread/amazing-geometry-question/

Saarthak Marathe - 2 years, 7 months ago

Log in to reply

We can prove it by co-ordinate geometry but then it would be tedious.

Saarthak Marathe - 2 years, 7 months ago

Log in to reply

we need to prove (BD/DC)(CE/AE)(AF/BF) = 1

Dev Sharma - 2 years, 7 months ago

Log in to reply

Where's the proof? You only stated what to prove.

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

my geometry is weak...please show proof.

Dev Sharma - 2 years, 7 months ago

Log in to reply

Which theorem?

Shivam Jadhav - 2 years, 7 months ago

Log in to reply

Now you can see that some people have already taken its name ;)

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

ceva theorm has something with concurrent....

Dev Sharma - 2 years, 7 months ago

Log in to reply

It does not have "something" , it is fully based on concurrency :)

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

I won't give away the name unless a solution is posted here ;)

Nihar Mahajan - 2 years, 7 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...