通过查询本地man手册，或者在线帮助文档，了解格式控制输出函数的用法，编写程序实现： 输出123.456，并保留1位小数 输出十进制数100的十六进制形式，并附上十六进制数的前缀（即0x）

您可以使用C语言中的printf函数来实现格式控制输出。下面是实现您所需功能的程序示例：

#include <stdio.h>

int main() {
    float number = 123.456;
    int decimalNumber = 100;

    printf("%.1f\n", number);
    printf("0x%x\n", decimalNumber);

    return 0;
}

在上面的示例中，我们使用%.1f来指定输出浮点数，并保留1位小数。而在输出十六进制数时，我们使用0x%x来指定输出的格式，并附上十六进制数的前缀"0x"。

运行以上程序，输出将会是：

123.5
0x64

希望能对您有所帮助！如有更多问题，请随时提问。