I have a polygon that consists of a few (lon, lat) points, each pair of consequent points is considered to be connected by orthodromes. I want to interpolate the polygon with some extra points between each source point pair (add some more waypoints lying on the orthodrome).

I know, that geopy, for example, has the possibility to calculate the distance on great circle, but I need some more: to find the waypoints on great circle.

Great. If you edit your question with a code attempt it will trigger the review queue to reopen your question, at which point it can be answered. Also another source for those looking for the mathematics behind these calculations: movable-type.co.uk/scripts/latlong.html
– smillerFeb 7 at 14:25

Certainly. I've just added the solution to the question.
– FelixFeb 7 at 14:30