正弦函数和它的倒数余弦函数的乘积等于1。即，sin(x) * cos(x) = 1。

三角函数（Trigonometric Functions）是基本初等函数之一，是以角度（数学上最常用弧度制，下同）为自变量，角度对应任意角终边与单位圆交点坐标或其比值为因变量的函数。

根据三角函数的基本定义，正切函数和余切函数、正弦函数和余弦函数、正割函数和余割函数互为倒数关系。也就是说，正切函数与余切函数相乘等于1，正弦函数与余弦函数相乘等于1，正割函数与余割函数相乘等于1。这个规律可以简单地通过代入三角函数的定义式进行推导，因此是基于严密证明的。