Доказательство основного тригонометрического тождества