tan80=sin80/cos80=cos10/sin10
cos10°sin10°(tan10°+tan80°)
=cos10sin10(sin10/cos10+cos10/sin10)=(sin10)^2+(cos10)^2=1