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)}\]

No vote yet

1 vote

×

Problem Loading...

Note Loading...

Set Loading...

Easy Math Editor

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## Comments

Sort by:

TopNewestSome criticisms:

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 \).

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!

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

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.

Log in to reply