tan(30) is 1/(square root of 3)

Not sure what is special about Tan(85). Looks like a rather horrible irrational number even when squared.

I do notice though that the other two multiply to leave 1.

(Tan(25) * Tan(65) = 1 I presume atran's trig. result proves it. Is this because 25+65 =90 ? and Tan(90-x) * Tan(x) = 1 etc.)

I notice that the gap between 85 and 90 is only 5. This is one sixth of the gap from 30 to zero.

I can tell from calculating the answer that it is not going to give us a whole number or the square root of a whole number.

Any idea what you are supposed to be trying to prove?

I have noticed that the angles 85 + 30 + 65 = 180

The three angles are interior angles of a triangle. I am not sure where this leads or whether it is relevant.