20160813

a, b, c を 0 より大きい実数とし, a＜b+c かつ b＜a+c かつ c＜a+b とすると, -1＜(b^2+c^2-a^2)/(2bc)＜1.
-1＜y＜1 とすると, ∃a(∃b(∃c((0＜a＜b+c)∧(0＜b＜a+c)∧(0＜c＜a+b)∧((b^2+c^2-a^2)/(2bc)=y)))).