因为 tan60º=tan(80º-20º)
=(tan80º-tan20º)/(1+tan80ºtan20º)
=√3
所以
tan80º-tan20º=√3（1+tan80ºtan20º）
所以 tan80º-tan20º=√3+√3tan80ºtan20º
所以 tan80º-tan20º-√3tan80ºtan20º=√3