на данный момент уже не однократно, сделал чертёж, больше склоняюсь к первой формуле, но кок взять производную не пойму