[size=150][b][color=#ff0000]Osserva:[/color][/b][br][list=1][*]se a e b sono due rette perpendicolari tra loro e passanti per l'origine, i loro coefficienti angolari hanno sempre segno opposto[/*][*]se a: y = mx e b: y = m'x allora G(1, m ) e H(1, m' )[/*][/list][br]Ora consideriamo il triangolo rettangolo OHG. Per il 2° teorema di Euclide abbiamo che:[br][math]\overline{OF}^2=\overline{FG}\cdot \overline{FH}[/math][br]da cui[br]1 = |m|· |m'| = -m · m'[br]Quindi se due rette sono perpendicolari  [color=#ff0000]m · m' = -1[/color][/size]