grandes-ecoles 2020 Q2

grandes-ecoles · France · centrale-maths1__official Number Theory Arithmetic Functions and Multiplicative Number Theory
Justify that, for all $n \in \mathbb{N}^{*}$,
$$( f * g ) ( n ) = \sum _ { \left( d _ { 1 } , d _ { 2 } \right) \in \mathcal { C } _ { n } } f \left( d _ { 1 } \right) g \left( d _ { 2 } \right)$$
where $\mathcal{C}_n = \left\{ \left( d_1, d_2 \right) \in \left( \mathbb{N}^* \right)^2 \mid d_1 d_2 = n \right\}$.
Justify that, for all $n \in \mathbb{N}^{*}$,

$$( f * g ) ( n ) = \sum _ { \left( d _ { 1 } , d _ { 2 } \right) \in \mathcal { C } _ { n } } f \left( d _ { 1 } \right) g \left( d _ { 2 } \right)$$

where $\mathcal{C}_n = \left\{ \left( d_1, d_2 \right) \in \left( \mathbb{N}^* \right)^2 \mid d_1 d_2 = n \right\}$.