1. (2024·湖南) 受蝙蝠飞翔的启发，中国人在公元前500年就制作了会飞的竹蜻蜓，古代科学家通过研究竹蜻蜓，提出了关于旋翼的制造原理，后来苏州巧匠根据这一原理，发明了一种飞车，通过脚踩踏板驱动转动机构来带动螺旋桨转动，让飞车离地一尺多高，竹蜻蜓传入欧洲后，为研制现代螺旋桨、直升机提供了灵感。由此可见（    ）

①从蝙蝠到竹蜻蜓运用了模拟方法

②从竹蜻蜓到飞车运用了比较推理

③从竹蜻蜓到直升机运用了类比推理

④从竹蜻蜓到直升机运用的推理内在逻辑是必然推理