Здравствуйте
Доказать, что d является метрикой

Дано условие на




Доказал (правильно ли?) что d не отрицательно:

Не могу понять, как доказать симметрию и неравенство треугольника. Натолкните на мысль, пожалуйста.
Сложнее всего с доказательством симметрии, потому что неравенство треугольника вывести возможно, если доказать симметрию.