El bitronco pentagonal o bipirámide pentagonal truncada es el tercero de una serie infinita de poliedros denominados bitroncos.
Un sólido de Johnson es uno de los 92 poliedros convexos que se componen estrictamente de caras poligonales regulares, pero que no son poliedros uniformes (es decir, no son sólidos platónicos, sólidos arquimedianos, prismas o antiprismas).
Fueron nombrados por Norman Johnson, quien los enumeró por primera vez en 1966.
[1] Este poliedro se puede construir tomando una bipirámide pentagonal y truncando los vértices del eje polar.
[2] Alternativamente, se puede construir uniendo dos troncos pentagonales por sus bases, o (si se permiten caras coplanares) pegando dos prismas pentagonales por sus bases.