内积为零的两个实值函数互为正交函数。