In a few of my courses in mechanics certain statements/equations have been proved by assuming that two infinitesimals multiplied by each other are zero.
For instance in the equation : $dx + dy + dx^2 + dx.dy$ , both $dx^2$ and $dx.dy$ are assumed zero.
I understand that in an order of magnitude sense these are significantly smaller and can hence be ignored but are these quantities actually 0 due to being infinitesimal? If so, how do we go about proving it (or is it obvious) and if not are all the equations which use this assumption simply approximations to reality and induce slight error?