Orthocentre distance to triangle vertices as a function of triangle angles and side lengths.

While solving one of Brilliant problems I came across an interesting property of an orthocentre which I have not thought of before, so I decided to share it with Brilliant community. Let's consider a triangle \(ABC\) with circumcentre \(O\), orthocentre \(H\), radius \(R\), \(AB=c, AC = b, BC = a\). Let's create circumcircle with diameter \(AF\) and connect points \(BF\). \(BF \perp AB\) (from Thales' Theorem) and \(CH \perp AB\) (\(CH\) is part of the altitude of the triangle) \(\Rightarrow BF \parallel CH\). For the same reasons we can state that \(CF \parallel BH\). This means that quadrilateral \(BFCH\) is a parallelogram and \(BF=CH\) and \(CF= BH\). It is also follows from Inscribed Angle Theorem that \( \angle BFA = \angle ACB\) and \(\angle AFC = \angle ABC\). \[BF = 2R \cos(\angle BFA ) = \dfrac{AB}{\tan(\angle BFA)} \Rightarrow\] \[ CH = 2R \cos(C) = \dfrac{c}{\tan(C)}\]

For the same reasons the following holds true: \[ AH = 2R \cos(A) = \dfrac{a}{\tan(A)}\] \[ BH = 2R \cos(B) = \dfrac{b}{\tan(B)}\]

Note by Maria Kozlowska
1 month, 3 weeks 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

Some criticisms:

  1. You will need to expand on your proof. Specifically, say that \( BF \perp AB \) because of Thales' theorem and that \( CH \perp AB \), since the line joining CH is an altitude of the triangle \( \overline{ABC} \) through \( C \).

  2. What is \( R \)? Please define your terms precisely. I will also make the same argument with the upper-case and lower-case \(a\)'s, \(b\)'s and \(c\)'s... are they points? Angles? Distances?

All in all, an unclear proof to an interesting but probably well-known result (I do not think this is new, though; this would be something that was well-known to probably Euler or Monge, but I would have no clue on the historical context). I would be interested to see if this result generalises to arbitrary dot product geometries.

P.S. If I find a result in the rational analog for not only the triangle but also the tetrahedron, I'll be sure to credit you!

Gennady Notowidigdo - 1 day, 22 hours ago

Log in to reply

The symbols are commonly used as a standard, but I added the information. The very reason I wrote that note is that I have not seen that information before. I am not claiming it is new. Most likely it is not. It is for the information for other members of Brilliant. It is nothing advanced, rather simple, but could be useful in some instances. I was not going for a strict proof, rather sketchy one. Just sharing information with others. For more information on orthocentre properties you can also check my solution for problem

Maria Kozlowska - 1 day, 16 hours ago

Log in to reply

No worries. I am currently finishing my thesis in three-dimensional rational geometry, but when I’m done I have two papers to write on tetrahedron centres in rational geometry. Will have a look at your stuff when I’m onto it.

Gennady Notowidigdo - 1 day, 15 hours ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...