Die Geschwindigkeit eines Optokopplers sollte für das Tachosignal reichen. Die einfachen (z.B. CNY17 , 4N35) gehen leicht bis 5 kHz, wenn man sich bei der Schaltung anstrengt auch bis 20 kHz.

Ein Optokoppler ist aber überrieben. Ein einfacher NPN-Transistor oder der Spannungsteiler sollte reichen.