(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

Let v be a vertex of a d-polytope P such that [itex] 0 \in intP [/itex] .

Prove that [itex] P^* \cap \{y \in \mathbb{R}^d \mid\left < y, v\right>=1\ \} [/itex] is a facet of [itex] P^{*} [/itex].

Thanks

2. Relevant equations

The definitions are:

[itex] P^*=\{ y\in\mathbb{R}^{d}\mid\left < x, y\right>\leq 1\ \forall x\in P\} [/itex]

and a face of P is the empty set, P itself, or an intersection of P with a supporting hyperplane (i.e.- a hyperplane, such that P is located in one of the halfspaces it determines).

A facet is a face of maximal degree

3. The attempt at a solution

I tried showing that if it isn't a facet (the fact that it's a face is obvious), we can delete one of the vertices that form [itex] P^{*} [/itex] but without any success.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Polytopes-The Dual Mapping

Can you offer guidance or do you also need help?

**Physics Forums | Science Articles, Homework Help, Discussion**