Let $n$ be a natural number. Prove that the number of all non-isosceles triangles with lengths of their sides equal to natural numbers and a perimeter $2n$ is $[\frac{n^2-6n+12}{12}]$.
Problem
Source: II International Festival of Young Mathematicians Sozopol 2011, Theme for 10-12 grade
Tags: combinatorics