二手手机从业者来回答一下。看了一下题主描述，这么多机型，真正值得入手的也就两台，一台是小米9，一台是k20pro尊享版，下面分别说说这两台机子的情况。
先来看看小米9，小米9是小米公司于2019年2月20日1发布的手机，采用圆润的曲面机身，全曲面设计，搭载高通骁龙855处理器，配备3300毫安电池，支持20w快充。前置2000万像素AI美颜自拍镜头，后置4800万像素索尼IMX586镜头+1200万人像镜头+1600万微距+超广角镜头，（支持超级夜景，支持夜间激光对焦）。总的来说，小米9目前使用还是非常不错的，不管是拍照还是玩游戏，都还是可以的。目前二手市场价格也是1500左右。
看完小米9，我们再来看看k20pro，红米k20pro是2019年09月19日上市的，比小米9晚了半年时间，搭载的是高通骁龙855plus处理器，6.39寸oled大屏幕，配备4000毫安大容量电池，而且支持27w快充。拍照方面同样也表现得不错。最重要的是价格也是1500左右。
这样一对比下来，我相信大家心里都有底了，花差不多的钱，可以买到更好的机子。有什么不好呢？如果是我，我就选择k20pro，毕竟性价比确实很高。