是的，初中数学中确实学过关于两条直线垂直时斜率乘积为-1的公式。这个公式是平面解析几何中的一个基本知识点，它描述了垂直直线之间斜率的一个重要关系。
具体来说，如果两条直线L1和L2垂直，那么它们的斜率k1和k2的乘积等于-1，即k1 k2 = -1。这里的斜率是指直线上任意两点之间的纵坐标之差与横坐标之差的比值，是描述直线倾斜程度的一个重要参数。
这个公式的推导相对简单。我们可以设直线L1的斜率为k1，直线L2的斜率为k2。由于L1和L2垂直，那么它们之间的夹角为90度。根据三角函数的定义，两条直线的斜率之积等于它们之间夹角的正切值的乘积。而90度的正切值是无穷大，也就是说，k1和k2的乘积必须是一个负数，才能满足这个条件。因此，k1 k2 = -1。
这个公式在解决实际问题中非常有用。例如，在建筑设计、地图绘制、计算机图形学等领域，我们经常需要判断两条直线是否垂直，这时就可以利用这个公式来计算。同时，这个公式也是学习更高级的数学知识，如向量、线性代数等的基础。