Miwanus亜属に分類される種類なのですが、
Dorcus属に含めるかProsopocoilus属に含めるか意見が分かれています。

当方もどちらが正しいのかわからなかったので　研究者に意見を聞いてみたところ
Prosopocoilus属の特徴を教えていただきました。

〇の部分でProsopocoilusかDorcusか判別できるようです。

P.formosanusの裏の写真を見た感じだと
Prosopocoilus属に含まれるものと思います。

ウェブサイトより：リンク
　

Prosopocoilus formosanus (Miwa,1929):74-75,fig.2 [Leptinopterus formosanus]
[Type Locality] Formosa;Taiheizan
[sny] Dorcus formosae Arrow,1943:137-138 (new name for formosanus)