Ισοσκελής υπερβολή και ορθόκεντρο τριγώνου
Στην εφαρμογή χρησιμοποιούμε το 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.
