三阶微分方程的通解公式：x-y+xy=C。根据定义：必须是3个独立的任意常数。n阶有n个独立的任意常数。存在性是指给定一微分方程及约束条件，判断其解是否存在。唯一性是指在上述条件下，是否只存在一个解。