ファイ関数 φ(n) （トーシェント関数）は、1 以上 n 以下の自然数の中で、n との最大公約数が 1 である自然数の個数を表しています。ファイ関数の基本的な性質を解説した後、大学数学で関連する内容を述べています。