New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Orthocenter construction #302

Merged

jjdishere merged 2 commits into jjdishere:master from Yu-Misaka:master

Mar 4, 2024

Contributor

Yu-Misaka commented Feb 7, 2024 •

edited

Loading

improved certain contents regarding orthocenter.

defined orthocenter via vector, this is an important work that serves as the bedrock for orthocenter, it is done by @tonyxty
defined orthocenter via intersection of three heights, this is done by first constructing intersection of two heights then proving that it lies on the third height
proving uniqueness as well as permutation invariance of orthocenter, this is still under construction

Yu-Misaka added 2 commits

February 7, 2024 22:20


          Orthocenter completion

b4944e7

    basic Construction of orthocenter


          Orthocenter completion

abe6a97

    construction of orthocenter

jjdishere merged commit 8b217fa into jjdishere:master

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet