# Prove that cos is a rational number

$tan^{2} \alpha \in\mathbb{Q}$
$cos^{2} \alpha \in\mathbb{Q}$ too.