最初の仮定からtan2゚を有理数とみなしてるから、無理数同士の積にはならんだろ