Помню, рисовал зависимости TAS&IAS в первом Иле, там прямые и были. Так что эта формула может быть вполне близка к "истине".