A metformina (para resistência insulínica) pode ser usada em pacientes que usam os ARVs (antirretrovirais

Sim. É preciso apenas observar se não há outras contra-indicações.

Se o paciente apresentar sinais e sintomas e/ou alterações laboratoriais que indiquem resistência insulinica, a metformina está indicada além de outras medidas não medicamentosas como a atividade física e orientação alimentar.

Depende do antiretroviral. Existem aproximadamente 20 antiretrovirais em uso no Brasil e eles nunca são usados sózinhos. No mínimo você usa 3 antiretrovirais e sabe-se que o dolutegravir aumenta a ação da metformina enquanto o fosamprenavir, o lopinavir e o ritonavir diminuem sua ação. O quanto diminuem ou aumentam a ação depende do metabolismo de cada paciente. Tendo isto em mente e devidamente orientado o paciente você pode usar cautelosamente estes antiretrovirais. Quanto aos outros antiretrovirais até agora não há descrição de interações perigosas.