>>65
tの２次方程式の解をα、βとすると
(α,f(α))(β,f(β))はy=f(x)の接点である。
各接線の傾きは
f'(α)
f'(β)
であり、直交するから
f'(α) * f'(β) = -1