Given that the terminal side of an angle $\alpha$ has a point $P(1, \sqrt{3})$, find the value of $\cos \alpha \cdot \tan \alpha$.
2025/3/19
1. Problem Description
Given that the terminal side of an angle has a point , find the value of .
2. Solution Steps
Let the point on the terminal side of angle be , where and .
We can find , the distance from the origin to the point , using the formula .
.
Now, we can find and using the following formulas:
Thus, and .
Now, we need to find the value of .