用C++的iostream库解决这个问题：一个数学公式：a×10^k请还原为一般写法的样式例如：输入：5 3那么输出5000

以下是使用C++的iostream库解决该问题的代码：

#include <iostream>
#include <cmath>

int main() {
    int a, k;
    std::cout << "请输入a和k的值：";
    std::cin >> a >> k;

    int result = a * pow(10, k);
    std::cout << "还原后的数值为：" << result << std::endl;

    return 0;
}

在这段代码中，我们首先包含了iostream和cmath库。然后，我们定义了两个整型变量a和k来接收用户输入的值。接下来，我们使用pow函数计算a乘以10的k次方，将结果存储在result变量中。最后，我们使用cout输出还原后的数值。