Κριτήριο καθετότητας ευθειών

Έστω η οξεία γωνία δύο μη καθέτων τεμνομένων ευθειών και ας είναι και τα μήκη των ορθών προβολών δύο τμημάτων  του επιπέδου των ευθειών στις αντίστοιχα. 

Να δειχθεί η ισοδυναμία: 

 

Πηγή