三角函数定积分的性质可以通过和差化积公式、欧拉公式和对称性来推导。具体步骤如下：

利用和差化积公式，将三角函数表示成一个或多个三角函数的积的形式，例如 sin(x + y) = sin(x)cos(y) + cos(x)sin(y)。

将三角函数表示成欧拉公式的形式，例如 sin(x) = (e^(ix) - e^(-ix)) / (2i)。

利用对称性，根据三角函数的奇偶性和对称性，将积分区间缩小一半，例如对于偶函数，可以使用对称性将积分区间从 [0, π/2] 缩小到 [0, π/4]。

通过递推关系，将积分区间缩小一半，例如对于 In=∫0到π/2 cos^nxdx 或者 In=∫0到π/2 sin^nxdx 的式子，可以使用递推关系将积分区间缩小一半。

通过反复使用上述步骤，最终可以推导出三角函数的定积分性质。