假设函数 $ f(x) $ 上有点 $ (x,y_1) $，函数 $ g(x) $ 上有点 $ (x,y_2) $，那么多项式相乘的定义，就是 $ f(x)g(x)=y_1y_2 $，所以多项式相乘后，一定有点 $ (x,y_1y_2) $。
我当时也想过这个问题，然后发现这好像就是定义
by Wuyanru @ 2024-01-13 16:16:48
@[Wuyanru](/user/400201) 对，我回复着回复着，然后发现着似乎是定义。
by robinyqc @ 2024-01-13 16:20:45
感谢
by Hollow_knight_ @ 2024-01-13 16:49:59