a・b=tan25+tan35+,√3tan25・tan35
=√3(1-tan25tan35)+√3tan25・tan35
=√3
tan60=(tan25+tan35)/(1-tan25*tan35)
tan60=√3