Насчёт комплементарности пары 2N5401/2N5551.
Посмотрите, что рисует Multisim по первому транзисторному каскаду.
Когда транзисторы меняю на виртуальные (некие идеальные, без маркировки), значения становятся одинаковыми (разумеется, с противоположным знаком).