Ισοσκελής υπερβολή και ορθόκεντρο τριγώνου

Στην εφαρμογή χρησιμοποιούμε το CAS του Geogebra για να αποδείξουμε ότι το ορθόκεντρο τριγώνου με κορυφές στην ισοσκελή υπερβολή είναι επίσης σημείο της υπερβολής. -------------------------- Σημείωση: Οι πράξεις μεταξύ των δεδομένων της υπόθεσης είναι σχεδόν απαγορευτικές. Η δυνατότητα του CAS είναι άμεση: συντάσσουμε τις εντολές με απόλυτα φορμαλιστικό τρόπο και ζητάμε στο τέλος την επικύρωση του συμπεράσματος. Δοκιμάστε το!

Note

Given triangle ABC with vertices on an equilateral hyperbola. Then the orthocenter H of ABC lies on the hyperbola as well.

Οδηγίες σύνταξης στο CAS