MathDB
Prove these two inequalities of tetrahedron

Source: 2019 Jozsef Wildt International Math Competition

May 20, 2020
tetrahedron3D geometryinequalitiesexradiusinradius

Problem Statement

In all tetrahedron ABCDABCD holds
[*] cycharha+rcychatrt(ha+r)t\displaystyle{\sum \limits_{cyc}\frac{h_a-r}{h_a+r}\geq \sum \limits_{cyc}\frac{h_a^t-r^t}{(h_a+r)^t}} [*] cyc2rar2ra+rcyc2ratrt(2ra+r)t\displaystyle{\sum \limits_{cyc}\frac{2r_a-r}{2r_a+r}\geq \sum \limits_{cyc}\frac{2r_a^t-r^t}{(2r_a+r)^t}}
for all t[0,1]t\in [0,1]